proofgeneral - 4.5-3 main

Versions in landing: 4.5-3
Maintainer: Debian Math Team <team+math [꩜] tracker.debian.org>
Uploaders:
  • Julien Puydt <jpuydt [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 4.7.0
Architectures: all 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
proofgeneral_4.5-3.dsc 2.1 kB 8a0381b3c46e72e85ff88ab9a3b95f07da798895501294adb7dccb97e2420023
proofgeneral_4.5.orig.tar.gz 1.2 MB b408ab943cfbfe4fcb0d3322f079f41e2a2d29b50cf0cc704fbb4d5e6c26e3a2
proofgeneral_4.5-3.debian.tar.xz 17.4 kB b40ac95a1214a27100e9a981ee2b1e55844ed93372e457cf107155ecc1e301e9