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