From Fedora Project Wiki
14 January 2010
- 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
- 18:1818:18, 6 January 2009 diff hist +11 m How to create an RPM package →Application Specific Guidelines
- 18:1718:17, 6 January 2009 diff hist +133 How to create an RPM package →Application Specific Guidelines
- 18:1018:10, 6 January 2009 diff hist +249 How to create an RPM package →Application Specific Guidelines
- 18:0618:06, 6 January 2009 diff hist +303 How to create an RPM package →Guidelines for specific circumstances
- 18:0118:01, 6 January 2009 diff hist +47 How to create an RPM package Added new subheading, "Guidelines for specific circumstances"
12 December 2008
- 19:0719:07, 12 December 2008 diff hist +171 How to create an RPM package →Creating a blank spec file
- 19:0219:02, 12 December 2008 diff hist +123 UpdatesPolicy →Historical References
10 October 2008
- 21:3521:35, 10 October 2008 diff hist +167 How to create an RPM package →Other tags
- 21:3221:32, 10 October 2008 diff hist +215 How to create an RPM package →%build section
- 21:2721:27, 10 October 2008 diff hist +186 How to create an RPM package →%prep section: Unmodified files
- 21:2521:25, 10 October 2008 diff hist +286 How to create an RPM package →Spec file pieces explained
10 September 2008
- 20:3220:32, 10 September 2008 diff hist +8 Enabling new signing key →Known Issues: Add su -c
- 20:3120:31, 10 September 2008 diff hist +106 Enabling new signing key Note --skip-broken option
- 14:0914:09, 10 September 2008 diff hist −121 Tracking upstream projects →General: Never mind...!
- 14:0214:02, 10 September 2008 diff hist +121 Tracking upstream projects →General
5 September 2008
- 22:5622:56, 5 September 2008 diff hist +227 How to create an RPM package →Testing RPMs you've built
- 22:5522:55, 5 September 2008 diff hist +228 Join the package collection maintainers →Install the Client Tools (Koji)
- 19:1919:19, 5 September 2008 diff hist +581 Join the package collection maintainers →Install the Client Tools (Koji)
- 19:1919:19, 5 September 2008 diff hist +447 How to create an RPM package →Testing RPMs you've built
14 August 2008
- 23:0323:03, 14 August 2008 diff hist +215 Features/Formal Methods →Scope
- 04:4704:47, 14 August 2008 diff hist +399 Features/Formal Methods →Scope
8 August 2008
- 22:3622:36, 8 August 2008 diff hist +17 Features/Formal Methods →Current status
- 20:3520:35, 8 August 2008 diff hist +5 Features/Formal Methods Add sat4j
7 August 2008
- 23:0923:09, 7 August 2008 diff hist +1 Features/Formal Methods →Detailed Description
- 22:5522:55, 7 August 2008 diff hist +13 Features/Formal Methods →Detailed Description
- 22:3522:35, 7 August 2008 diff hist +18 m Features/Formal Methods →Scope
- 22:3422:34, 7 August 2008 diff hist −4 Features/Formal Methods →Detailed Description
- 21:5521:55, 7 August 2008 diff hist 0 Features/Formal Methods →Current status
- 21:5321:53, 7 August 2008 diff hist +79 Features/Formal Methods →Scope
- 20:5920:59, 7 August 2008 diff hist −5 Features/Formal Methods Start review process
- 20:2520:25, 7 August 2008 diff hist +49 Features/Formal Methods →Detailed Description
- 20:2420:24, 7 August 2008 diff hist −23 m Features/Formal Methods →Feature Name
- 20:2320:23, 7 August 2008 diff hist −14 Features/Formal Methods →Detailed Description
- 20:2220:22, 7 August 2008 diff hist +100 Features/Formal Methods →Scope
- 20:2120:21, 7 August 2008 diff hist 0 m Features/Formal Methods →Feature Name
- 20:2020:20, 7 August 2008 diff hist +124 Features/Formal Methods →Feature Name
- 20:0220:02, 7 August 2008 diff hist −3 m Features/Formal Methods →Detailed Description
- 19:5919:59, 7 August 2008 diff hist −28 Features/Formal Methods →Documentation
- 19:5919:59, 7 August 2008 diff hist +30 Features/Formal Methods →Documentation
- 19:5419:54, 7 August 2008 diff hist +15 Features/Formal Methods →Detailed Description
- 19:5419:54, 7 August 2008 diff hist 0 Features/Formal Methods →Detailed Description
- 19:5319:53, 7 August 2008 diff hist +10 Features/Formal Methods →Documentation
- 19:5219:52, 7 August 2008 diff hist +120 Features/Formal Methods →Scope
- 19:5119:51, 7 August 2008 diff hist +1 Features/Formal Methods →Detailed Description
- 19:4519:45, 7 August 2008 diff hist +1 m Features/Formal Methods →Detailed Description
- 19:4419:44, 7 August 2008 diff hist −40 Features/Formal Methods →Current status
- 19:4119:41, 7 August 2008 diff hist +111 Features/Formal Methods →Documentation
- 19:3719:37, 7 August 2008 diff hist +103 N User:Dwheeler Initial page current
- 19:3519:35, 7 August 2008 diff hist +28 Features/Formal Methods →Detailed Description
- 19:3419:34, 7 August 2008 diff hist −82 Features/Formal Methods Simplify intro