Package: ladr4-apps
Source: ladr
Version: 0.0.200911a-2
Installed-Size: 1609
Maintainer: Debian QA Group <packages@qa.debian.org>
Architecture: ia64
Depends: libc6.1 (>= 2.7), libladr4 (>= 0.0.200902a), python
Recommends: prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b)
Description: the LADR deduction library, miscellaneous applications
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Description-md5: ce715083ec65b9f70befbb37125c836f
Tag: role::program
Section: math
Priority: optional
Filename: pool/main/l/ladr/ladr4-apps_0.0.200911a-2_ia64.deb
Size: 457484
MD5sum: 10d06c4900fd6ed950f3550570316021
SHA1: d86e069d04d2a447c22246d9b132d6058784bd68
SHA256: 092b47020853ffe788dec4aa203bcc8f37912fbb1a6d845293d5fc54452dd277

Package: ladr4-apps
Source: ladr
Version: 0.0.200911a-2
Installed-Size: 897
Maintainer: Debian QA Group <packages@qa.debian.org>
Architecture: s390
Depends: libc6 (>= 2.7), libladr4 (>= 0.0.200902a), python
Recommends: prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b)
Description: the LADR deduction library, miscellaneous applications
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Description-md5: ce715083ec65b9f70befbb37125c836f
Tag: role::program
Section: math
Priority: optional
Filename: pool/main/l/ladr/ladr4-apps_0.0.200911a-2_s390.deb
Size: 382616
MD5sum: e09744b5d647b92c924c30ce7d1ffb47
SHA1: 947edbeb6f2d21cd08db4a14d386224d86ba5f32
SHA256: 1fa7e880e2dc5458aae727d2c867c03588a2af5dd2a0de7e503d141bf24a1af2