From Fedora Project Wiki
3 March 2010
- 20:3620:36, 3 March 2010 diff hist +65 How to create an RPM package →Maintaining the package
- 20:0720:07, 3 March 2010 diff hist +601 How to create an RPM package →Maintaining the package
- 20:0220:02, 3 March 2010 diff hist +125 How to create an RPM package →%prep section: %patch commands
27 January 2010
- 19:5919:59, 27 January 2010 diff hist +808 How to create an RPM package Discuss when you shouldn't use the %doc prefix
- 17:5317:53, 27 January 2010 diff hist +127 How to create an RPM package →For more information: Add Cambridge presentation
26 January 2010
- 22:1422:14, 26 January 2010 diff hist +142 How to create an RPM package →Testing RPMs you've built
25 January 2010
- 01:4501:45, 25 January 2010 diff hist +383 How to create an RPM package Add notes about auto-buildrequires
22 January 2010
- 12:5712:57, 22 January 2010 diff hist +69 SIGs/FormalMethods →Spin
20 January 2010
- 15:5415:54, 20 January 2010 diff hist +80 Formal methods tool suite →Satisfiability Modulo Theories (SMT) Solvers
- 15:5315:53, 20 January 2010 diff hist +6 Formal methods tool suite →SAT Solvers
- 15:5215:52, 20 January 2010 diff hist +76 Formal methods tool suite →SAT Solvers
- 15:4915:49, 20 January 2010 diff hist +50 Formal methods tool suite →Theorem Provers
- 15:4715:47, 20 January 2010 diff hist +20 Formal methods tool suite →Model Checkers
- 15:4615:46, 20 January 2010 diff hist +390 Formal methods tool suite →Model Checkers
- 15:4515:45, 20 January 2010 diff hist +63 Formal methods tool suite →Satisfiability Modulo Theories (SMT) Solvers
- 15:4315:43, 20 January 2010 diff hist +119 Formal methods tool suite →Satisfiability Modulo Theories (SMT) Solvers
- 15:4115:41, 20 January 2010 diff hist +139 Features/Formal Methods →Detailed Description: Add link to new page current
- 15:3915:39, 20 January 2010 diff hist +97 SIGs/FormalMethods Move info to new page
- 15:3615:36, 20 January 2010 diff hist +1,128 Formal methods tool suite Complete initial version
- 15:2715:27, 20 January 2010 diff hist +78 Formal methods tool suite →Formal methods tool suite
- 15:2615:26, 20 January 2010 diff hist +645 Formal methods tool suite Explain SMT
- 15:1515:15, 20 January 2010 diff hist +497 Formal methods tool suite Add theorem provers
- 15:1015:10, 20 January 2010 diff hist +673 Formal methods tool suite Add "SAT Solver" category
- 15:0415:04, 20 January 2010 diff hist +51 SIGs/FormalMethods Move "Recently completed" to bottom; it's not really a "task to do"
- 15:0215:02, 20 January 2010 diff hist +660 N Formal methods tool suite Initial version
- 14:5914:59, 20 January 2010 diff hist +265 SIGs/FormalMethods Add reference to new page on suite; reorg
19 January 2010
- 22:1422:14, 19 January 2010 diff hist +407 How to create an RPM package →Miscellaneous hints
- 20:0820:08, 19 January 2010 diff hist +52 Using Mock to test package builds Switch to new-style commands, instead of deprecated format
- 20:0620:06, 19 January 2010 diff hist +149 Using Mock to test package builds →What is Mock?
- 20:0420:04, 19 January 2010 diff hist +4 Using Mock to test package builds →Using mock as a chroot sandbox tool
- 19:5919:59, 19 January 2010 diff hist 0 m Using Mock to test package builds Fix format
- 19:5619:56, 19 January 2010 diff hist +70 Using Mock to test package builds →What is Mock?
- 17:5317:53, 19 January 2010 diff hist +41 SIGs/FormalMethods →Ongoing
- 02:1602:16, 19 January 2010 diff hist +37 Using Mock to test package builds →Caching in mock 0.8.x and later
- 02:1202:12, 19 January 2010 diff hist +86 Using Mock to test package builds In using mock to build packages with dependencies outside the repository, you don't need rpmdev-setuptree at all.
- 01:3001:30, 19 January 2010 diff hist +37 SIGs/FormalMethods →Ongoing
18 January 2010
- 17:1517:15, 18 January 2010 diff hist +93 m Using Mock to test package builds →Building packages that depend on packages not in a repository
- 17:1217:12, 18 January 2010 diff hist +734 Using Mock to test package builds Fix instructions
- 16:5016:50, 18 January 2010 diff hist +30 Using Mock to test package builds →Building packages that depend on packages not in a repository
- 15:1915:19, 18 January 2010 diff hist +148 Using Mock to test package builds →Building packages that depend on packages not in a repository
- 14:3214:32, 18 January 2010 diff hist +565 Using Mock to test package builds →How do I use Mock?
- 14:1014:10, 18 January 2010 diff hist +4 How to create an RPM package →Testing RPMs you've built: Fix Mock link
17 January 2010
- 00:3800:38, 17 January 2010 diff hist +99 SIGs/FormalMethods →Ongoing: Add BLAST
14 January 2010
- 20:4320:43, 14 January 2010 diff hist −12 How to create an RPM package Make consistent with rest of page
- 20:4220:42, 14 January 2010 diff hist +16 How to create an RPM package →Getting ready to package a particular program
- 20:3820:38, 14 January 2010 diff hist −16 How to create an RPM package Make consistent
- 20:3820:38, 14 January 2010 diff hist −279 How to create an RPM package Simplify intro
- 20:3020:30, 14 January 2010 diff hist −36 How to create an RPM package Fix tense; it's already happened now
- 20:3020:30, 14 January 2010 diff hist −1 How to create an RPM package Move reference to IRC log to bottom of page
- 16:5416:54, 14 January 2010 diff hist +583 Category:SIGs →Formal Methods
- 16:5416:54, 14 January 2010 diff hist +1 SIGs/FormalMethods →What are Formal Methods?
- 16:5316:53, 14 January 2010 diff hist −1,068 Features/Formal Methods →Feature Name
- 16:4616:46, 14 January 2010 diff hist +116 Features/Formal Methods →Owner
- 16:4616:46, 14 January 2010 diff hist +2 Features/Formal Methods →Owner
- 16:4516:45, 14 January 2010 diff hist +146 SIGs/FormalMethods →Fedora Features
- 16:4416:44, 14 January 2010 diff hist +28 SIGs/FormalMethods Note that this is also a Packaging SIG
- 16:4316:43, 14 January 2010 diff hist +37 N Features/Provers moved Features/Provers to Features/Formal Methods: This is to match the name of the new "Formal Methods" SIG current
- 16:4316:43, 14 January 2010 diff hist 0 m Features/Formal Methods moved Features/Provers to Features/Formal Methods: This is to match the name of the new "Formal Methods" SIG
- 16:1316:13, 14 January 2010 diff hist +166 SIGs/FormalMethods →Yum group
- 16:0716:07, 14 January 2010 diff hist +177 SIGs/FormalMethods Add "Fedora Features" heading
13 January 2010
- 16:5716:57, 13 January 2010 diff hist +11 SIGs/FormalMethods Add tex-zfuzz. Now have a reasonable starter list for "Formal methods" yum group
- 16:5516:55, 13 January 2010 diff hist +21 SIGs/FormalMethods →Yum group
- 16:5316:53, 13 January 2010 diff hist +33 SIGs/FormalMethods →Top to-dos
- 16:5216:52, 13 January 2010 diff hist +403 SIGs/FormalMethods Start listing fedora packages
- 16:4516:45, 13 January 2010 diff hist +166 SIGs/FormalMethods →Top to-dos
- 14:5814:58, 13 January 2010 diff hist +107 SIGs/FormalMethods →Communication
- 14:5614:56, 13 January 2010 diff hist +237 SIGs/FormalMethods →Communication
- 14:4814:48, 13 January 2010 diff hist +113 SIGs/FormalMethods →Tasks
11 January 2010
- 23:0623:06, 11 January 2010 diff hist +30 SIGs/FormalMethods Fix link for Alan Dunn
- 23:0323:03, 11 January 2010 diff hist +181 SIGs/FormalMethods →Tasks
- 18:4318:43, 11 January 2010 diff hist +136 How to create an RPM package →Miscellaneous hints: Add reference to Fedora packaging guidelines for .desktop files (this was a question on the devel mailing list)
- 17:4917:49, 11 January 2010 diff hist +396 SIGs/FormalMethods →Tasks
- 17:4617:46, 11 January 2010 diff hist +22 SIGs/FormalMethods →Goal and Scope: Separate reference to Mission Statement and Plan
- 17:4417:44, 11 January 2010 diff hist +84 SIGs/FormalMethods →Tasks: Link to JJames' page
- 17:4217:42, 11 January 2010 diff hist +15 SIGs/FormalMethods →Members: Add missing User: prefix
- 17:4117:41, 11 January 2010 diff hist 0 SIGs/FormalMethods →Members: Fix caps in usernames
- 17:3917:39, 11 January 2010 diff hist +6,734 N FormalMethodsMission Initial version
- 17:3417:34, 11 January 2010 diff hist +1,791 N SIGs/FormalMethods Create initial version
- 17:2617:26, 11 January 2010 diff hist −1 Category:SIGs →Formal Methods
- 17:0917:09, 11 January 2010 diff hist +62 Category:SIGs Add a link to the new "Formal methods" SIG
14 September 2009
- 15:5415:54, 14 September 2009 diff hist +116 How to create an RPM package →%install section: Warn that "manual installs" can easily go wrong on updates
9 September 2009
- 20:0120:01, 9 September 2009 diff hist +111 m How to create an RPM package →%install section: Improve discussion of %makeinstall (including why it shouldn't be used if DESTDIR works)
4 September 2009
- 17:4317:43, 4 September 2009 diff hist +198 How to create an RPM package →Helpful tools: Note limitations of RUST
- 16:5916:59, 4 September 2009 diff hist +317 How to create an RPM package →%install section: Warn that you need to create directories in many cases
- 16:5516:55, 4 September 2009 diff hist +41 How to create an RPM package →%install section
- 16:5216:52, 4 September 2009 diff hist +1,430 How to create an RPM package →%install section
- 16:2516:25, 4 September 2009 diff hist +238 How to create an RPM package →%install section: Clarify typical locations in filesystem
22 June 2009
- 13:0113:01, 22 June 2009 diff hist +450 How to create an RPM package Add small section on maintaining packages, primarily links to other pages.
28 April 2009
- 15:0615:06, 28 April 2009 diff hist +84 How to create an RPM package →Creating Package HOWTO
- 15:0315:03, 28 April 2009 diff hist +2 How to create an RPM package →Setting up your system and account: Fix word
13 March 2009
- 21:1821:18, 13 March 2009 diff hist +338 How to create an RPM package →Helpful tools: Note yumdownloader.
6 March 2009
- 05:1705:17, 6 March 2009 diff hist +138 Join the package collection maintainers →Check out the module: Explain how to work around ssh-add error message
- 03:5703:57, 6 March 2009 diff hist +77 Category:Package Maintainers →Get Involved
24 February 2009
- 03:5803:58, 24 February 2009 diff hist +255 How to create an RPM package →%build section: Mention libdir
21 February 2009
- 17:4617:46, 21 February 2009 diff hist +73 How to create an RPM package →%build section
- 17:4417:44, 21 February 2009 diff hist +94 How to create an RPM package →Spec file pieces explained
11 February 2009
- 22:1422:14, 11 February 2009 diff hist +160 Package maintainers wishlist →Formal Methods WishList
6 January 2009
- 18:1918:19, 6 January 2009 diff hist −1 m How to create an RPM package →Application Specific Guidelines
- 18:1918:19, 6 January 2009 diff hist +1 How to create an RPM package →Application Specific Guidelines
- 18:1818:18, 6 January 2009 diff hist +5 m How to create an RPM package →Application Specific Guidelines