Installlion's Logo

Installlion.com

Install or Uninstall libaac-tactics-ocaml-dev on wheezy

libaac-tactics-ocaml-dev Coq tactics for reasoning modulo AC (devt files) Debian 7.0 ocaml

Package Data

Package libaac-tactics-ocaml-dev
Version 0.2.pl2-7
Maintainer Debian OCaml Maintainers
Description Coq tactics for reasoning modulo AC (devt files)
Distro debian
Release wheezy
Repo main
Section ocaml