p9m4 0.5.dfsg-2 source package in Ubuntu
Changelog
p9m4 (0.5.dfsg-2) unstable; urgency=low
[ Sandro Tosi ]
* debian/control
- switch Vcs-Browser field to viewsvn
[ Marco Rodrigues ]
* debian/control:
+ Add ${misc:Depends} to Depends to remove
lintian warning.
[ Peter Collingbourne ]
* debian/install: removed shell brace expansion
* debian/prover9-mace4.1, debian/control, debian/copyright: changed
maintainer email address
* debian/copyright: updated year, use correct declaration of
copyright, refer to version of GPL
* debian/control: updated Standards-Version
* debian/patches/04-64bit.patch: added; Prover9-Mace4 can now start on
64-bit platforms (closes: #526685)
* debian/control: added DM-Upload-Allowed: yes
-- Ubuntu Archive Auto-Sync <email address hidden> Mon, 04 May 2009 08:23:12 +0100
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Karmic
- Original maintainer:
- Peter Collingbourne
- Architectures:
- all
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| p9m4_0.5.dfsg.orig.tar.gz | 86.6 KiB | c7394d338ffd4ed3e52d3af062dfe0c82777bf28016c3bfa91573de31e62900a |
| p9m4_0.5.dfsg-2.diff.gz | 8.5 KiB | a0bfa3bb7de3a5e17c34379cd3ba1987b14218eec2fa0fc45c9f4be68b6467e9 |
| p9m4_0.5.dfsg-2.dsc | 1.3 KiB | 418be0dd7d63995db6f49ecc5e14ffa9001e7ba747d8f4f86d88961a7063c99c |
Available diffs
- diff from 0.5.dfsg-1 to 0.5.dfsg-2 (6.5 KiB)
Binary packages built by this source
- prover9-mace4: GUI for Prover9 and Mace4
This package provides a graphical user interface for easily running
the Prover9 theorem prover and the Mace4 countermodel generator
along with a number of sample input files.
