[ aria ]

Quellcode-Paket: berkeley-abc (1.01+20221019git70cb339+dfsg-4)

Links für berkeley-abc

Betreuer:

Externe Ressourcen:

Homepage [www.eecs.berkeley.edu]

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

berkeley-abc: ABC - A System for Sequential Synthesis and Verification

Andere Pakete mit Bezug zu berkeley-abc

build-depends

build-depends-indep

adep: debhelper-compat (= 13)

Paket nicht verfügbar
adep: libbz2-dev

high-quality block-sorting file compressor library - development
adep: libreadline-dev

GNU readline and history libraries, development files
adep: zlib1g-dev

compression library - development

Download berkeley-abc

Datei	Größe (in kB)	MD5-Prüfsumme
berkeley-abc_1.01+20221019git70cb339+dfsg-4.debian.tar.xz	15,1 kB	fe6442e50954d135e78066d578c92ab2
berkeley-abc_1.01+20221019git70cb339+dfsg-4.dsc	2,2 kB	b4a0a42bcd0811721168677791565e04
berkeley-abc_1.01+20221019git70cb339+dfsg.orig.tar.xz	3.780,4 kB	5aaf50de4577e8468f5f881f1804324e

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