diff options
| author | Cyril Cohen | 2015-12-12 19:49:48 -0500 |
|---|---|---|
| committer | Cyril Cohen | 2015-12-12 19:49:48 -0500 |
| commit | e4714f6a9334c321ebf8c29f576f6e35c290261f (patch) | |
| tree | c0f72c912a714156ae7db3d467194bb85ccd6af6 /mathcomp | |
| parent | d37638edddb64330ada5e6be7936afc42385d151 (diff) | |
removing trailing whitespaces in opam file
Diffstat (limited to 'mathcomp')
| -rw-r--r-- | mathcomp/real_closed/opam | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mathcomp/real_closed/opam b/mathcomp/real_closed/opam index 59ebb95..d06f2e7 100644 --- a/mathcomp/real_closed/opam +++ b/mathcomp/real_closed/opam @@ -7,7 +7,7 @@ homepage: "http://ssr.msr-inria.inria.fr/" bug-reports: "Mathematical Components <mathcomp-dev@sympa.inria.fr>" license: "CeCILL-B" -build: [ make "-j" "%{jobs}%" ] +build: [ make "-j" "%{jobs}%" ] install: [ make "install" ] remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/mathcomp/real_closed'" ] depends: [ "coq-mathcomp-field" { = "dev" } ] |