Commit 1af0d14d authored by benoit's avatar benoit
Browse files

fix path

parent 78b09e76
...@@ -21,5 +21,5 @@ depends: [ ...@@ -21,5 +21,5 @@ depends: [
synopsis: "Certifying prime numbers in Coq" synopsis: "Certifying prime numbers in Coq"
flags: light-uninstall flags: light-uninstall
url { url {
src: "coq-coqprime/coq-coqprime.1.0.3" src: "packages/coq-coqprime/coq-coqprime.1.0.3"
} }
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