opam

opam-version: "1.2"
name: "coq-aniceto"
version: "1.0"
maintainer: "Tiago Cogumbreiro <cogumbreiro@users.sf.net>"
authors: "Tiago Cogumbreiro <cogumbreiro@users.sf.net>"
homepage: "https://bitbucket.org/cogumbreiro/aniceto-coq"
dev-repo: "https://bitbucket.org/cogumbreiro/aniceto-coq.git"
license: "Public Domain"
build: [
  ["./configure.sh"]
  ["make" "-j%{jobs}%"]
]
bug-reports: "https://gitlab.com/cogumbreiro/aniceto-coq/issues"
install: ["make" "install"]
remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Aniceto"]
depends: [
  "coq" {>= "8.4"}
]
tags: [ "keyword:stdlib" "keyword:stdlib utility" "keyword:common properties" "keyword:graphs" "keyword:graph theory" "category:paths" "category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures" ]