Commit acda62c9 authored by benoit's avatar benoit
Browse files

tentative

parent 919d5cca
...@@ -22,7 +22,7 @@ remove: [ ...@@ -22,7 +22,7 @@ remove: [
["rm" "-R" "%{lib}%/coq/user-contrib/compcert"] ["rm" "-R" "%{lib}%/coq/user-contrib/compcert"]
] ]
url { url {
src: "git+https://github.com/ildyria/CompCert.git#v3.2WithVO" src: "."
} }
synopsis: "" synopsis: ""
description: "The CompCert C compiler." description: "The CompCert C compiler."
......
...@@ -21,6 +21,6 @@ depends: [ ...@@ -21,6 +21,6 @@ depends: [
synopsis: "Certifying prime numbers in Coq" synopsis: "Certifying prime numbers in Coq"
flags: light-uninstall flags: light-uninstall
url { url {
src: "https://github.com/thery/coqprime/archive/v8.8.zip" src: "."
checksum: "md5=3430856778d10abe378fbdd385ac834d" checksum: "md5=3430856778d10abe378fbdd385ac834d"
} }
...@@ -67,9 +67,8 @@ remove: [ ...@@ -67,9 +67,8 @@ remove: [
"%{share}%/emacs/site-lisp/gallina-syntax.el" "%{share}%/emacs/site-lisp/gallina-syntax.el"
] ]
] ]
dev-repo: "git+https://github.com/coq/coq.git"
extra-files: ["coq.install" "md5=6e8ff2905b5508b143a8acb16e3b5150"] extra-files: ["coq.install" "md5=6e8ff2905b5508b143a8acb16e3b5150"]
url { url {
src: "https://github.com/coq/coq/archive/V8.8.2.tar.gz" src: "."
checksum: "md5=5d693cd1953a0dd74920b43d183bc26c" checksum: "md5=5d693cd1953a0dd74920b43d183bc26c"
} }
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment