[ trixie ] [ sid ]

Quellcode-Paket: drat-trim (0.0~git20240428.effa1dc-2)

Links für drat-trim

Debian-Ressourcen:

Betreuer:

Externe Ressourcen:

Homepage [www.cs.utexas.edu]

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:

drat-trim: DART-trim satisfiability proof checker (binary utils)
drat-trim-examples: DART-trim satisfiability proof checker (example files)

Andere Pakete mit Bezug zu drat-trim

build-depends

build-depends-indep

adep: bzip2

Hochwertiger, Blöcke sortierender Dateikomprimierer - Dienstprogramme
adep: debhelper-compat (= 13)

Paket nicht verfügbar
adep: help2man

Automatischer Handbuchseiten-Generator

Download drat-trim

Datei	Größe (in kB)	MD5-Prüfsumme
drat-trim_0.0~git20240428.effa1dc-2.dsc	1,8 kB	9fd3bc6aa30046dbcd411627528873a6
drat-trim_0.0~git20240428.effa1dc.orig.tar.gz	7.123,4 kB	22904ba93b267bbbb5d27e4a97b6e028
drat-trim_0.0~git20240428.effa1dc-2.debian.tar.xz	3,4 kB	cb254cdc879ac7b4d73217e8ab9de8ae

Quellcode-Depot des Debian-Pakets (VCS: Git): https://salsa.debian.org/science-team/drat-trim.git
Quellcode-Depot des Debian-Pakets (browsable): https://salsa.debian.org/science-team/drat-trim