eprover - 3.2.5+ds-1 main

Versions in landing: 3.2.5+ds-1
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: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
eprover_3.2.5+ds-1.dsc 1.9 kB f92a0085cb0877b44806f890044bf78c46e8d42a970a80cc028e7400e1ae1fb4
eprover_3.2.5+ds.orig.tar.xz 1.0 MB a49af51a5d61596c172a60d6ab2607f66344ceb3926b2bd2f7a39fe8aec3346a
eprover_3.2.5+ds-1.debian.tar.xz 4.4 kB 1824a1aa5497593efed83886c9a0644647997ff61f6f5c4920ca8f7e8e4385bf