eLxr packages

 / Pacotes / aria (oldstable) / Fonte / - / berkeley-abc

[  aria  ]

Links para berkeley-abc

• Repositório-fonte Debian (Git)
• Rastreador de patch eLxr

Mantenedores(as):

• Debian Science Maintainers
• Ruben Undheim
• Daniel Gröber

Fontes externas:

• Pagina principal [www.eecs.berkeley.edu]

Os seguintes pacotes binários são criados a partir deste pacote-fonte:

berkeley-abc

ABC - A System for Sequential Synthesis and Verification

Outros pacotes relacionados a berkeley-abc

build-depends

build-depends-indep

• adep: debhelper-compat (= 13)

  Pacote não disponível

• 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

Arquivo	Tamanho (em kB)	Soma de verificação MD5
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

Repositório-fonte de pacotes Debian (VCS: Git)

https://salsa.debian.org/science-team/berkeley-abc.git

Repositório-fonte de pacotes Debian (navegável)

https://salsa.debian.org/science-team/berkeley-abc