Ubuntu
p9m4 package

p9m4 0.5.dfsg-1 source package in Ubuntu

Changelog

p9m4 (0.5.dfsg-1) unstable; urgency=low

  * Initial release (closes: #460813)
  * my_setup.py, partition_input.py: removed Python-2.5isms from code
  * debian/setup.py: wrote distutils script
  * files.py, prover9-mace4.py: point to correct file locations

 -- Ubuntu Archive Auto-Sync <email address hidden>   Wed,  07 May 2008 10:45:29 +0100

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
Uploaded to:
Intrepid
Original maintainer:
Peter Collingbourne
Architectures:
all
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Intrepid: [FULLYBUILT] i386

Downloads

File Size SHA-256 Checksum
p9m4_0.5.dfsg.orig.tar.gz 86.6 KiB c7394d338ffd4ed3e52d3af062dfe0c82777bf28016c3bfa91573de31e62900a
p9m4_0.5.dfsg-1.diff.gz 3.2 KiB d3011625c492469aa58022b27dcea14d215765fd5a65d33a43ac7681751ce3d9
p9m4_0.5.dfsg-1.dsc 922 bytes 35187ce860f9b7dacc624bb6c4bbbac781d0c4eaabf38b7d1fc9b44ff68c9f13

View changes file

Binary packages built by this source

prover9-mace4: No summary available for prover9-mace4 in ubuntu karmic.

No description available for prover9-mace4 in ubuntu karmic.