[  etiona  ] [  nabia  ] [  aramo  ]

[ Pakiet źródłowy: aac-tactics  ]

Odnośniki dla libaac-tactics-ocaml

Zasoby systemu Trisquel:

• Install using apturl
• Entry at directory.fsf.org
• Raporty o błędach
• Changelog
• Informacje nt. praw autorskich

Pobieranie pakietu źródłowego aac-tactics:

• [aac-tactics_8.11.0-1.dsc]
• [aac-tactics_8.11.0.orig.tar.gz]
• [aac-tactics_8.11.0-1.debian.tar.xz]

Opiekun:

• Debian OCaml Maintainers (Archiwum e-mail)

Original Maintainers:

• Debian OCaml Maintainers (Archiwum e-mail)
• Stéphane Glondu

Zasoby zewnętrzne:

• Strona internetowa [github.com]

Podobne pakiety:

• libaac-tactics-ocaml-dev
• libcoq-elpi-ocaml
• libcoq-elpi-ocaml-dev
• alt-ergo
• libssreflect-ocaml
• libfloat-coq
• libcoq-mathcomp-bigenough
• why3-coq
• libssreflect-coq
• coq
• agda-stdlib

Inne pakiety związane z libaac-tactics-ocaml

wymaga

poleca

sugeruje

• dep: libcoq-ocaml-rd419

  pakiet wirtualny udostępniany przez libcoq-ocaml

• dep: ocaml-base-nox-4.08.1

  pakiet wirtualny udostępniany przez ocaml-base-nox

• rec: libaac-tactics-coq

  Coq tactics for reasoning modulo AC (theories)

• enh: coq

  proof assistant for higher-order logic (toplevel and compiler)

Pobieranie libaac-tactics-ocaml

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	104,4 KiB	465 KiB	[lista plików]