wszystkie opcje
jessie  ] [  stretch  ] [  buster  ] [  sid  ]

Pakiet źródłowy: acl2 (6.5-2)

Odnośniki dla acl2

Zasoby systemu Debian:

Opiekun:

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
acl2
Logika obliczeniowa do Applicative Common Lisp: podstawowy plik binarny
acl2-books
Logika obliczeniowa do Applicative Common Lisp: skompilowane biblioteki
acl2-books-certs
Logika obliczeniowa do Applicative Common Lisp: certyfikaty bibliotek
acl2-books-source
Logika obliczeniowa do Applicative Common Lisp: pliki źródłowe bibliotek
acl2-doc
Logika obliczeniowa do Applicative Common Lisp: dokumentacja
acl2-emacs
Logika obliczeniowa do Applicative Common Lisp: interfejs Emacsa
acl2-infix
Logika obliczeniowa do Applicative Common Lisp: infiksowy interfejs
acl2-infix-source
Logika obliczeniowa do Applicative Common Lisp: infiksowe pliki źródłowe
acl2-source
Logika obliczeniowa do Applicative Common Lisp: pliki źródłowe

Inne pakiety związane z acl2

  • build-depends
  • build-depends-indep

Download acl2

PlikRozmiar (w KiB)Suma kontrolna MD5
acl2_6.5-2.dsc 1,8 KiB 653b40349fedf0bc18af8d1a2e96d0d9
acl2_6.5.orig-books.tar.gz 14 627,7 KiB 487107b1ffcbae00232130586efa85d9
acl2_6.5.orig.tar.gz 6 047,3 KiB 70fcf9bac3baca4abfd74fa6035613ff
acl2_6.5-2.debian.tar.xz 125,3 KiB e4c5adbad2cee8669e8c54483d8c2eeb