Ubuntu
meritous package

meritous source package in Lunar

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 hirsute.

Versions published

Release

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

meritous information

Current version:
1.5-1.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.1)

File Size SHA-256 Checksum
meritous_1.5-1.1.dsc 2.0 KiB d45740ac6e6c4ad3e4da342fb9584e4948379d8ae598796145b13dbd3a57074b
meritous_1.5.orig.tar.gz 1.0 MiB ed513a9210fbd0c88de5ca6b899af06d776e5da2e5ae6d97a7a09d68a76b49d7
meritous_1.5-1.1.debian.tar.xz 4.1 KiB 22da70e808dec5072952ec3dfaa98f12041d096af8161c12ef30d0609a3eabc0

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies