Installlion's Logo

Installlion.com

Install or Uninstall libaac-tactics-ocaml on wheezy

libaac-tactics-ocaml Coq tactics for reasoning modulo AC (plugin) Debian 7.0 ocaml

Package Data

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