: Code : prover9-manual package : Ubuntu

Ubuntu
prover9-manual package

Name	Status	Last Modified	Last Commit
lp:ubuntu/wily/prover9-manual	1 Development	2015-05-06 20:57:29 UTC 2015-05-06	8. [ Jari Aalto ] * QA upload. * Remove ... Author: Tony Mancill Revision Date: 2013-05-03 22:08:19 UTC [ Jari Aalto ] * QA upload. * Remove deprecated dpatch and upgrade to packaging format "3.0 quilt" (Closes: #664351). * Update to Standards-Version to 3.9.4, debhelper to 9, ${misc:Depends}. * Add build-arch and build-indep targets; use dh_prep in rules file. * Move Alioth repository from Bzr to Git (git-buildpackage). [ tony mancill ] * Update d/watch. (Closes: #544791) - Thanks to both Adam D. Barratt and Bart Martens.
lp:ubuntu/vivid/prover9-manual	2 Mature	2014-10-27 10:46:01 UTC 2014-10-27	8. [ Jari Aalto ] * QA upload. * Remove ... Author: Tony Mancill Revision Date: 2013-05-03 22:08:19 UTC [ Jari Aalto ] * QA upload. * Remove deprecated dpatch and upgrade to packaging format "3.0 quilt" (Closes: #664351). * Update to Standards-Version to 3.9.4, debhelper to 9, ${misc:Depends}. * Add build-arch and build-indep targets; use dh_prep in rules file. * Move Alioth repository from Bzr to Git (git-buildpackage). [ tony mancill ] * Update d/watch. (Closes: #544791) - Thanks to both Adam D. Barratt and Bart Martens.
lp:ubuntu/utopic/prover9-manual	2 Mature	2014-04-25 13:18:44 UTC 2014-04-25	8. [ Jari Aalto ] * QA upload. * Remove ... Author: Tony Mancill Revision Date: 2013-05-03 22:08:19 UTC [ Jari Aalto ] * QA upload. * Remove deprecated dpatch and upgrade to packaging format "3.0 quilt" (Closes: #664351). * Update to Standards-Version to 3.9.4, debhelper to 9, ${misc:Depends}. * Add build-arch and build-indep targets; use dh_prep in rules file. * Move Alioth repository from Bzr to Git (git-buildpackage). [ tony mancill ] * Update d/watch. (Closes: #544791) - Thanks to both Adam D. Barratt and Bart Martens.
lp:ubuntu/trusty/prover9-manual	2 Mature	2013-10-19 01:15:03 UTC 2013-10-19	8. [ Jari Aalto ] * QA upload. * Remove ... Author: Tony Mancill Revision Date: 2013-05-03 22:08:19 UTC [ Jari Aalto ] * QA upload. * Remove deprecated dpatch and upgrade to packaging format "3.0 quilt" (Closes: #664351). * Update to Standards-Version to 3.9.4, debhelper to 9, ${misc:Depends}. * Add build-arch and build-indep targets; use dh_prep in rules file. * Move Alioth repository from Bzr to Git (git-buildpackage). [ tony mancill ] * Update d/watch. (Closes: #544791) - Thanks to both Adam D. Barratt and Bart Martens.
lp:ubuntu/saucy-proposed/prover9-manual	2 Mature	2013-05-05 06:50:03 UTC 2013-05-05	8. [ Jari Aalto ] * QA upload. * Remove ... Author: Tony Mancill Revision Date: 2013-05-03 22:08:19 UTC [ Jari Aalto ] * QA upload. * Remove deprecated dpatch and upgrade to packaging format "3.0 quilt" (Closes: #664351). * Update to Standards-Version to 3.9.4, debhelper to 9, ${misc:Depends}. * Add build-arch and build-indep targets; use dh_prep in rules file. * Move Alioth repository from Bzr to Git (git-buildpackage). [ tony mancill ] * Update d/watch. (Closes: #544791) - Thanks to both Adam D. Barratt and Bart Martens.
lp:ubuntu/saucy/prover9-manual	1 Development	2013-05-03 22:08:19 UTC 2013-05-03	8. [ Jari Aalto ] * QA upload. * Remove ... Author: Tony Mancill Revision Date: 2013-05-03 22:08:19 UTC [ Jari Aalto ] * QA upload. * Remove deprecated dpatch and upgrade to packaging format "3.0 quilt" (Closes: #664351). * Update to Standards-Version to 3.9.4, debhelper to 9, ${misc:Depends}. * Add build-arch and build-indep targets; use dh_prep in rules file. * Move Alioth repository from Bzr to Git (git-buildpackage). [ tony mancill ] * Update d/watch. (Closes: #544791) - Thanks to both Adam D. Barratt and Bart Martens.
lp:ubuntu/raring/prover9-manual	2 Mature	2012-10-19 09:10:21 UTC 2012-10-19	7. * New upstream release. * debian/exam... Author: Peter Collingbourne Revision Date: 2009-03-15 00:53:52 UTC * New upstream release. * debian/examples: updated * debian/control: new Standards-Version
lp:ubuntu/quantal/prover9-manual	2 Mature	2012-04-26 19:25:27 UTC 2012-04-26	7. * New upstream release. * debian/exam... Author: Peter Collingbourne Revision Date: 2009-03-15 00:53:52 UTC * New upstream release. * debian/examples: updated * debian/control: new Standards-Version
lp:ubuntu/precise/prover9-manual	2 Mature	2011-10-13 18:21:23 UTC 2011-10-13	7. * New upstream release. * debian/exam... Author: Peter Collingbourne Revision Date: 2009-03-15 00:53:52 UTC * New upstream release. * debian/examples: updated * debian/control: new Standards-Version
lp:ubuntu/oneiric/prover9-manual	2 Mature	2011-04-28 18:28:53 UTC 2011-04-28	7. * New upstream release. * debian/exam... Author: Peter Collingbourne Revision Date: 2009-03-15 00:53:52 UTC * New upstream release. * debian/examples: updated * debian/control: new Standards-Version
lp:ubuntu/natty/prover9-manual	2 Mature	2010-10-13 08:14:27 UTC 2010-10-13	7. * New upstream release. * debian/exam... Author: Peter Collingbourne Revision Date: 2009-03-15 00:53:52 UTC * New upstream release. * debian/examples: updated * debian/control: new Standards-Version
lp:ubuntu/maverick/prover9-manual	2 Mature	2010-04-30 18:22:28 UTC 2010-04-30	7. * New upstream release. * debian/exam... Author: Peter Collingbourne Revision Date: 2009-03-15 00:53:52 UTC * New upstream release. * debian/examples: updated * debian/control: new Standards-Version
lp:ubuntu/lucid/prover9-manual	1 Development	2009-10-30 20:28:27 UTC 2009-10-30	7. * New upstream release. * debian/exam... Author: Peter Collingbourne Revision Date: 2009-03-15 00:53:52 UTC * New upstream release. * debian/examples: updated * debian/control: new Standards-Version
lp:ubuntu/jaunty/prover9-manual	2 Mature	2009-08-21 10:08:22 UTC 2009-08-21	5. * New upstream release. * debian/cont... Author: Peter Collingbourne Revision Date: 2008-09-13 21:14:40 UTC * New upstream release. * debian/control, debian/copyright: changed maintainer email address
lp:ubuntu/intrepid/prover9-manual	2 Mature	2009-08-21 10:08:02 UTC 2009-08-21	4. * New upstream release. * debian/cont... Author: Peter Collingbourne Revision Date: 2008-06-29 04:57:20 UTC * New upstream release. * debian/control: new Standards-Version
lp:ubuntu/karmic/prover9-manual	1 Development	2009-08-21 10:02:37 UTC 2009-08-21	7. * New upstream release. * debian/exam... Author: Peter Collingbourne Revision Date: 2009-03-15 00:53:52 UTC * New upstream release. * debian/examples: updated * debian/control: new Standards-Version

Ubuntuprover9-manual package

Ubuntu
prover9-manual package