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