Source package eprover/3.2.0+ds-1 in dawn @ pureos - PureOS Software

eprover - 3.2.0+ds-1 main

Versions in dawn: 3.2.0+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

eprover amd64 arm64

Build Dependencies

debhelper-compat (= 13)
help2man
picosat

Files

Filename	Size	Checksum (SHA256)
eprover_3.2.0+ds-1.dsc	1.9 kB	`f5e93964615d12672c23d40049f5052be1a54ce7115e5d39dbae90b4fc3612b6`
eprover_3.2.0+ds.orig.tar.xz	1.0 MB	`0651353014007254744f537d690018dc55dfe3474ec7de4fc98a9122f989eff2`
eprover_3.2.0+ds-1.debian.tar.xz	4.4 kB	`9569ac361d6fb3ee985498f31fd258f1bbd21d785d61508e209f2f9cd0bf3d68`