[ aria ]

Paquet source : berkeley-abc (1.01+20221019git70cb339+dfsg-4)

Liens pour berkeley-abc

Responsables :

Ressources externes :

Page d'accueil [www.eecs.berkeley.edu]

Les paquets binaires suivants sont compilés à partir de ce paquet source :

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

Autres paquets associés à berkeley-abc

build-depends

build-depends-indep

adep: debhelper-compat (= 13)

Paquet indisponible
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

Fichier	Taille (en ko)	Somme MD5
berkeley-abc_1.01+20221019git70cb339+dfsg-4.debian.tar.xz	15,1 ko	fe6442e50954d135e78066d578c92ab2
berkeley-abc_1.01+20221019git70cb339+dfsg-4.dsc	2,2 ko	b4a0a42bcd0811721168677791565e04
berkeley-abc_1.01+20221019git70cb339+dfsg.orig.tar.xz	3 780,4 ko	5aaf50de4577e8468f5f881f1804324e

Dépôt Debian des paquets source (VCS: Git): https://salsa.debian.org/science-team/berkeley-abc.git
Dépôt Debian des paquets source (interface web): https://salsa.debian.org/science-team/berkeley-abc