cvc4 1.6-2 source package in Ubuntu
Changelog
cvc4 (1.6-2) unstable; urgency=medium * Add python3 to Build-Depends. * Update Maintainer email address. -- Fabian Wolff <email address hidden> Sun, 12 Aug 2018 15:00:46 +0200
Upload details
- Uploaded by:
- Debian Science Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Maintainers
- Architectures:
- amd64 i386 mips mips64el mipsel hurd-i386 ia64 kfreebsd-amd64 kfreebsd-i386 m68k powerpcspe x32
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
cvc4_1.6-2.dsc | 2.6 KiB | fa5227654bb688fd9f0990c28ce0833a3efe2199f8480287c670fd351a696a3b |
cvc4_1.6.orig.tar.gz | 7.5 MiB | 5c18bd5ea893fba9723a4d35c889d412ec6d29a21db9db69481891a8ff4887c7 |
cvc4_1.6-2.debian.tar.xz | 8.0 KiB | 256cb4f2824a296cb5f01b72f9e762502a0e15dda19472a0038460a461c0b077 |
Available diffs
- diff from 1.6-1 to 1.6-2 (568 bytes)
No changes file available.
Binary packages built by this source
- cvc4: No summary available for cvc4 in ubuntu cosmic.
No description available for cvc4 in ubuntu cosmic.
- cvc4-dbgsym: No summary available for cvc4-dbgsym in ubuntu disco.
No description available for cvc4-dbgsym in ubuntu disco.
- libcvc4-5: No summary available for libcvc4-5 in ubuntu cosmic.
No description available for libcvc4-5 in ubuntu cosmic.
- libcvc4-5-dbgsym: No summary available for libcvc4-5-dbgsym in ubuntu cosmic.
No description available for libcvc4-5-dbgsym in ubuntu cosmic.
- libcvc4-dev: No summary available for libcvc4-dev in ubuntu cosmic.
No description available for libcvc4-dev in ubuntu cosmic.
- libcvc4parser5: No summary available for libcvc4parser5 in ubuntu cosmic.
No description available for libcvc4parser5 in ubuntu cosmic.
- libcvc4parser5-dbgsym: No summary available for libcvc4parser5-dbgsym in ubuntu cosmic.
No description available for libcvc4parser5-
dbgsym in ubuntu cosmic.