[  etiona  ] [  nabia  ] [  aramo  ]

[ Zdroj: aac-tactics  ]

Odkazy pre libaac-tactics-ocaml

Zdroje Trisquel:

• Install using apturl
• Entry at directory.fsf.org
• Hlásenia chýb
• Changelog
• Autori a licencia

Stiahnuť zdrojový balík aac-tactics:

• [aac-tactics_8.6.1-2.dsc]
• [aac-tactics_8.6.1.orig.tar.gz]
• [aac-tactics_8.6.1-2.debian.tar.xz]

Správca:

• Debian OCaml Maintainers (Konferencia)

Original Maintainers:

• Debian OCaml Maintainers (Konferencia)
• Stéphane Glondu

Externé zdroje:

• Domovská stránka [github.com]

Podobné balíky:

• 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

Ostatné balíky súvisiace s balíkom libaac-tactics-ocaml

závisí

odporúča

navrhuje

• dep: libc6 (>= 2.1.3)

  GNU C Library: Shared libraries
  tiež virtuálny balík poskytovaný balíkom libc6-udeb

• dep: libcoq-ocaml-6pjp3

  virtuálny balík poskytovaný balíkom libcoq-ocaml

• dep: ocaml-base-nox-4.05.0

  virtuálny balík poskytovaný balíkom 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)

Stiahnuť libaac-tactics-ocaml

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
i386	108.2 kB	484 kB	[zoznam súborov]