Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
Fairis
Commits
6ff2c8f6
Commit
6ff2c8f6
authored
Mar 05, 2018
by
Ralf Jung
Browse files
update opam file
parent
68cf9a98
Pipeline
#7245
failed with stage
in 7 minutes and 35 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
opam
View file @
6ff2c8f6
...
...
@@ -3,7 +3,7 @@ name: "coq-fri"
maintainer: "Joseph Tassarotti"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [
"sh
" "-
c
" "
rm -rf
'%{lib}%/coq/user-contrib/fri"
]
remove: [
"rm
" "-
rf
" "'%{lib}%/coq/user-contrib/fri"]
depends: [
"coq" { >= "8.7" }
"coq-iris" { (= "branch.gen_proofmode.2018-03-04.7") | (= "dev") }
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment