alle opties
buster  ] [  bullseye  ] [  bookworm  ]

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

Verwijzigingen voor berkeley-abc

Debian bronnen:

Beheerders:

Externe bronnen:

De volgende binaire pakketten worden van dit bronpakket gebouwd:
berkeley-abc
ABC - A System for Sequential Synthesis and Verification

Andere aan berkeley-abc gerelateerde pakketten

  • build-depends
  • build-depends-indep

Download berkeley-abc

BestandGrootte (in kB)MD5 checksum
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
berkeley-abc_1.01+20221019git70cb339+dfsg-4.debian.tar.xz 15,1 kB fe6442e50954d135e78066d578c92ab2
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/science-team/berkeley-abc.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/science-team/berkeley-abc