Paketnamen Beschreibungen Quellcodepaketnamen Paket-Inhalte Alle Optionen

[  precise  ] [  quantal  ] [  raring  ]

[ Quellcode: aac-tactics  ]

Links für libaac-tactics-ocaml

Ubuntu-Ressourcen:

• Fehlerberichte
• Ubuntu-Changelog
• Copyright-Datei

Quellcode-Paket aac-tactics herunterladen:

• [aac-tactics_0.2.pl2-4build1.dsc]
• [aac-tactics_0.2.pl2.orig.tar.gz]
• [aac-tactics_0.2.pl2-4build1.debian.tar.gz]

Betreuer:

• Ubuntu MOTU Developers (E-Mail-Archiv)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

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

It should generally not be necessary for users to contact the original maintainer.

Externe Ressourcen:

• Homepage [sardes.inrialpes.fr]

Ähnliche Pakete:

• libaac-tactics-ocaml-dev
• libssreflect-ocaml
• libfloat-coq
• libssreflect-coq
• coq
• libcoq-ocaml-dev
• libwhy-coq
• libssreflect-ocaml-dev
• proofgeneral-coq
• coq-doc-html
• coq-doc-pdf

Andere Pakete mit Bezug zu libaac-tactics-ocaml

hängt ab von

empfiehlt

schlägt vor

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

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

  dep: libc6 (>= 2.2.5) [amd64]

• dep: libcoq-ocaml-4zyg6 [amd64]

  Paket nicht verfügbar

• dep: libcoq-ocaml-ib824 [i386]

  Paket nicht verfügbar

• dep: ocaml-base-nox-3.12.1

  virtuelles Paket, bereitgestellt durch ocaml-base-nox

• rec: libaac-tactics-coq

  Coq tactics for reasoning modulo AC (theories)

libaac-tactics-ocaml herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
amd64	139,0 kB	544,0 kB	[Liste der Dateien]
i386	121,5 kB	465,0 kB	[Liste der Dateien]