Skip to content
Sections
>> Trisquel >> Paquets >> aramo >> Source >> math >> alt-ergo
[  etiona  ] [  nabia  ] [  aramo  ]

Paquet source : alt-ergo (2.0.0-8build1)

Liens pour alt-ergo

Ressources Trisquel :

Responsable :

Original Maintainers:

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
alt-ergo
Automatic theorem prover dedicated to program verification

Autres paquets associés à alt-ergo

  • build-depends
  • build-depends-indep
  • adep: debhelper-compat (= 13)
    Paquet indisponible
  • adep: dh-ocaml
    helper tools for maintaining OCaml-related Debian packages
  • adep: ocaml-nox (>= 4.04)
    transitional package for ocaml
  • adep: menhir
    Parser generator for OCaml
  • adep: ocaml-findlib
    management tool for OCaml libraries
  • adep: libnum-ocaml-dev
    library for arbitrary-precision and rational arithmetic (development)
  • adep: libocamlgraph-ocaml-dev (>= 1.8.5~)
    graph library for OCaml
  • adep: libzarith-ocaml-dev
    arithmetic and logical operations over arbitrary-precision integers (dev)
  • adep: libzip-ocaml-dev
    OCaml compression libraries (development files)
  • adep: ocplib-simplex-ocaml-dev (>= 0.4)
    simplex library for solving linear inequalities

Download alt-ergo

FichierTaille (en ko)Somme MD5
alt-ergo_2.0.0-8build1.dsc 2,1 ko fe8a1bb4545c2dd2708060c21d8baa1b
alt-ergo_2.0.0.orig.tar.gz 345,2 ko e390c96bcac7c54a5949ad36611412ef
alt-ergo_2.0.0-8build1.debian.tar.xz 7,3 ko 18c7dff8fab9e19961604a2b0f383fa2
Dépôt Debian des paquets source (VCS: Git)
https://salsa.debian.org/ocaml-team/alt-ergo.git
Dépôt Debian des paquets source (interface web)
https://salsa.debian.org/ocaml-team/alt-ergo