From Fedora Project Wiki
7 March 2010
- 03:3003:30, 7 March 2010 diff hist +547 How to create an RPM package →Getting ready to package a particular program
6 March 2010
- 19:0819:08, 6 March 2010 diff hist +1 How to create an RPM package Fix link for naming guidelines
- 19:0619:06, 6 March 2010 diff hist +134 How to create an RPM package →The basics of building RPM packages
- 19:0519:05, 6 March 2010 diff hist +640 How to create an RPM package →The basics of building RPM packages
- 18:5418:54, 6 March 2010 diff hist +507 How to create an RPM package →Testing RPMs you've built
- 17:1817:18, 6 March 2010 diff hist +65 How to create an RPM package Add link to timestamp section
- 17:1517:15, 6 March 2010 diff hist +382 How to create an RPM package Wget and curl setup
3 March 2010
- 22:3222:32, 3 March 2010 diff hist +120 How to create an RPM package →%files section
- 22:3022:30, 3 March 2010 diff hist +14 How to create an RPM package →The basics of building RPM packages
- 22:2922:29, 3 March 2010 diff hist +55 How to create an RPM package →The basics of building RPM packages
- 22:2722:27, 3 March 2010 diff hist +173 How to create an RPM package →The basics of building RPM packages
- 22:2422:24, 3 March 2010 diff hist −5 How to create an RPM package →The basics of building RPM packages
- 22:2322:23, 3 March 2010 diff hist −968 How to create an RPM package →Creating RPMs from the spec file
- 22:1822:18, 3 March 2010 diff hist +36 m How to create an RPM package →The basics of building RPM packages
- 22:1722:17, 3 March 2010 diff hist +99 How to create an RPM package →Creating a spec file
- 22:1322:13, 3 March 2010 diff hist −6 How to create an RPM package →Spec file pieces explained
- 22:0922:09, 3 March 2010 diff hist +41 How to create an RPM package →Older RPM documents
- 22:0622:06, 3 March 2010 diff hist −69 m How to create an RPM package →The basics of building RPM packages
- 22:0522:05, 3 March 2010 diff hist +296 How to create an RPM package →The basics of building RPM packages: Add %check
- 22:0122:01, 3 March 2010 diff hist +951 How to create an RPM package Use exact macro terminology
- 21:4221:42, 3 March 2010 diff hist +406 How to create an RPM package →Macros
- 21:3621:36, 3 March 2010 diff hist +152 How to create an RPM package →The basics of building RPM packages
- 21:3521:35, 3 March 2010 diff hist +20 m How to create an RPM package Add header to table entries
- 21:3321:33, 3 March 2010 diff hist +150 How to create an RPM package Switch to table format
- 21:2921:29, 3 March 2010 diff hist +658 How to create an RPM package Briefly describe each rpmbuild stage
- 21:2121:21, 3 March 2010 diff hist +712 How to create an RPM package Add new section: The basics of building RPM packages
- 21:0221:02, 3 March 2010 diff hist +359 How to create an RPM package Prefer %global over %define
- 20:5020:50, 3 March 2010 diff hist −2 m How to create an RPM package →%prep section: %patch commands
- 20:4920:49, 3 March 2010 diff hist +72 How to create an RPM package →%prep section: %patch commands
- 20:4620:46, 3 March 2010 diff hist +524 How to create an RPM package →%prep section: %patch commands
- 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