Ubuntu
meritous package

meritous source package in Focal

meritous: No summary available for meritous in ubuntu hirsute.
meritous-data: No summary available for meritous-data in ubuntu hirsute.
meritous-dbgsym: No summary available for meritous-dbgsym in ubuntu eoan.

Versions published

Release

The package versions that were published when the distribution release was made.

meritous information

Current version:
1.5-1
Uploaded:
Urgency:
Medium Urgency

Upstream connections

minisat+ ⇒ trunk

Minisat+ is a solver based on minisat.

Bug supervisor: no
Bug tracker: no
Branch: yes

There are no registered releases for the minisat+ ⇒ trunk.

Releases in Ubuntu

Binary packages

Download files from current release (1.5-1)

File Size SHA-256 Checksum
meritous_1.5-1.dsc 1.6 KiB 5f607c79e0c699aa15bbb3041d3f717ae97bbc13006c5f542c75ab615cd23895
meritous_1.5.orig.tar.gz 1.0 MiB ed513a9210fbd0c88de5ca6b899af06d776e5da2e5ae6d97a7a09d68a76b49d7
meritous_1.5-1.debian.tar.xz 4.0 KiB e8bf0be22d085985c17cebef5bffcd16c7d9a45d1b089f8002402ab60acf0a6b

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies