File: coq-unimath.opam

package info (click to toggle)
coq-unimath 20220816-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 13,544 kB
  • sloc: lisp: 870; makefile: 422; perl: 90; sh: 86; javascript: 44; sed: 10
file content (14 lines) | stat: -rw-r--r-- 471 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
opam-version: "2.0"
maintainer: "The UniMath Development Team"
homepage: "https://github.com/UniMath/UniMath"
dev-repo: "git+https://github.com/UniMath/UniMath.git"
bug-reports: "https://github.com/UniMath/UniMath/issues"
license: "Similar to MIT license"
authors: ["The UniMath Development Team"]
build: [make "BUILD_COQ=no" "-j%{jobs}%"]
install: [make "BUILD_COQ=no" "install"]
depends: [
  "ocaml"
  "coq" {>= "8.12.2"}
]
synopsis: "Library of Univalent Mathematics"