Adaptation .opam
This commit is contained in:
parent
3e672915f3
commit
760c0b26e4
@ -1,11 +1,13 @@
|
||||
name: "extremes"
|
||||
opam-version: "1.2"
|
||||
version: "2018-06-24-1"
|
||||
maintainer: "Matthieu Dubuget <matthieu.dubuget@gmail.com>"
|
||||
authors: "Matthieu Dubuget <matthieu.dubuget@gmail.com>"
|
||||
|
||||
homepage: "none"
|
||||
bug-reports: "Matthieu Dubuget <matthieu.dubuget@gmail.com>"
|
||||
|
||||
build: [
|
||||
["jbuilder" "subst" "-n" name] {pinned}
|
||||
[ "jbuilder" "build" "-p" name "-j" jobs ]
|
||||
]
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user