[  etiona  ] [  nabia  ] [  aramo  ]

[ Quellcode: aac-tactics  ]

Links für libaac-tactics-ocaml

Trisquel-Ressourcen:

• Install using apturl
• Entry at directory.fsf.org
• Fehlerberichte
• Changelog
• Copyright-Datei

Quellcode-Paket aac-tactics herunterladen:

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

Betreuer:

• Debian OCaml Maintainers (E-Mail-Archiv)

Original Maintainers:

• Debian OCaml Maintainers (E-Mail-Archiv)
• Stéphane Glondu

Externe Ressourcen:

• Homepage [github.com]

Ähnliche Pakete:

• 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

Andere Pakete mit Bezug zu libaac-tactics-ocaml

hängt ab von

empfiehlt

schlägt vor

• dep: libc6 (>= 2.1.3) [i386]

  GNU C Library: Shared libraries
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

  dep: libc6 (>= 2.2.5) [amd64]

• dep: libcoq-ocaml-6pjp3 [i386]

  virtuelles Paket, bereitgestellt durch libcoq-ocaml

• dep: libcoq-ocaml-ywd98 [amd64]

  virtuelles Paket, bereitgestellt durch libcoq-ocaml

• dep: ocaml-base-nox-4.05.0

  virtuelles Paket, bereitgestellt durch 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)

libaac-tactics-ocaml herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
amd64	117,5 kB	552 kB	[Liste der Dateien]
i386	108,2 kB	484 kB	[Liste der Dateien]