diff options
| author | Cyril Cohen | 2015-12-26 19:41:21 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2015-12-26 19:41:21 +0100 |
| commit | 7780c22d12484785f480057df9f3396a52fb19f5 (patch) | |
| tree | a4c02c896aa3084362d7b566b129fa49e2a45da9 /mathcomp | |
| parent | bfe087cdf460652ab64e5bbeffa802c4ac524b0b (diff) | |
removing mathcomp dir when removing ssreflect
Diffstat (limited to 'mathcomp')
| -rw-r--r-- | mathcomp/ssreflect/opam | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mathcomp/ssreflect/opam b/mathcomp/ssreflect/opam index af89440..2f6fbdf 100644 --- a/mathcomp/ssreflect/opam +++ b/mathcomp/ssreflect/opam @@ -9,7 +9,7 @@ license: "CeCILL-B" build: [ make "-j" "%{jobs}%" ] install: [ make "install" ] -remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/mathcomp/ssreflect'" ] +remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/mathcomp'" ] depends: [ "coq" { ( >= "8.4pl4" & < "8.5" ) | ( = "8.5.dev" ) | ( = "dev")} ] tags: [ "keyword:small scale reflection" "keyword:mathematical components" "keyword:odd order theorem" ] |