[  etiona  ] [  nabia  ] [  aramo  ]

[ Kaynak: aac-tactics  ]

libaac-tactics-ocaml için bağlantılar

Trisquel Kaynakları:

• Install using apturl
• Entry at directory.fsf.org
• Hata Raporları
• Changelog
• Telif Hakkı Dosyası

aac-tactics Kaynak Paketini İndir:

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

Geliştirici:

• Debian OCaml Maintainers (Posta Arşivi)

Original Maintainers:

• Debian OCaml Maintainers (Posta Arşivi)
• Stéphane Glondu

Dış Kaynaklar:

• Ana Sayfa [github.com]

Benzer paketler:

• 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

libaac-tactics-ocaml ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

• dep: libcoq-core-ocaml-aosg1 [amd64]

  sanal paketi sağlayan libcoq-core-ocaml

• dep: libcoq-core-ocaml-nf5u3 [ppc64el]

  sanal paketi sağlayan libcoq-core-ocaml

• dep: libcoq-core-ocaml-rt7d5 [arm64]

  sanal paketi sağlayan libcoq-core-ocaml

• dep: libcoq-core-ocaml-zjlv3 [armhf]

  sanal paketi sağlayan libcoq-core-ocaml

• dep: libzarith-ocaml-4dps0 [armhf değil]

  sanal paketi sağlayan libzarith-ocaml

• dep: libzarith-ocaml-aip06 [armhf]

  sanal paketi sağlayan libzarith-ocaml

• dep: ocaml-base-4.13.1

  sanal paketi sağlayan ocaml-base

• 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 indir

Tüm mevcut mimariler için indir

Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	127,7 kB	465 kB	[dosya listesi]
arm64	146,6 kB	525 kB	[dosya listesi]
armhf	128,2 kB	367 kB	[dosya listesi]
ppc64el	134,3 kB	601 kB	[dosya listesi]