Debian
p9m4 package

p9m4 0.5.dfsg-1 source package in Debian

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

 -- Peter Collingbourne <email address hidden>  Tue, 15 Jan 2008 01:35:54 +0000

Upload details

Uploaded by:
Peter Collingbourne
Uploaded to:
Lenny
Original maintainer:
Peter Collingbourne
Architectures:
all
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Lenny release main math

Builds

Downloads

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

No changes file available.

Binary packages built by this source