alle opties
buster  ] [  bullseye  ] [  bookworm  ]

Bronpakket: berkeley-abc (1.01+20181130git163bba5+dfsg-1)

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+20181130git163bba5+dfsg-1.dsc 2,3 kB 5a451ed913d5f06bbc01ce2d4d6eb749
berkeley-abc_1.01+20181130git163bba5+dfsg.orig.tar.xz 3.587,2 kB c961a5e3e011a0293bc7f20b6cb3ed20
berkeley-abc_1.01+20181130git163bba5+dfsg-1.debian.tar.xz 14,5 kB 4f88cfb6cd8846ed35cc969404e90614
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