|
|
|
@ -6,8 +6,9 @@ with lib; mkCoqDerivation { |
|
|
|
|
repo = "Coq-Equations"; |
|
|
|
|
inherit version; |
|
|
|
|
defaultVersion = switch coq.coq-version [ |
|
|
|
|
{ case = "8.12"; out = "1.2.3+coq8.12"; } |
|
|
|
|
{ case = "8.11"; out = "1.2.3+coq8.11"; } |
|
|
|
|
{ case = "8.13"; out = "1.2.4+coq8.13"; } |
|
|
|
|
{ case = "8.12"; out = "1.2.4+coq8.12"; } |
|
|
|
|
{ case = "8.11"; out = "1.2.4+coq8.11"; } |
|
|
|
|
{ case = "8.10"; out = "1.2.1+coq8.10-2"; } |
|
|
|
|
{ case = "8.9"; out = "1.2.1+coq8.9"; } |
|
|
|
|
{ case = "8.8"; out = "1.2+coq8.8"; } |
|
|
|
@ -36,6 +37,12 @@ with lib; mkCoqDerivation { |
|
|
|
|
release."1.2.3+coq8.12".version = "1.2.3"; |
|
|
|
|
release."1.2.3+coq8.12".rev = "v1.2.3-8.12"; |
|
|
|
|
release."1.2.3+coq8.12".sha256 = "1y0jkvzyz5ssv5vby41p1i8zs7nsdc8g3pzyq73ih9jz8h252643"; |
|
|
|
|
release."1.2.4+coq8.11".rev = "v1.2.4-8.11"; |
|
|
|
|
release."1.2.4+coq8.11".sha256 = "01fihyav8jbjinycgjc16adpa0zy5hcav5mlkf4s9zvqxka21i52"; |
|
|
|
|
release."1.2.4+coq8.12".rev = "v1.2.4-8.12"; |
|
|
|
|
release."1.2.4+coq8.12".sha256 = "1n0w8is464qcq8mk2mv7amaf0khbjz5mpc9phf0rhpjm0lb22cb3"; |
|
|
|
|
release."1.2.4+coq8.13".rev = "v1.2.4-8.13"; |
|
|
|
|
release."1.2.4+coq8.13".sha256 = "0i014lshsdflzw6h0qxra9d2f0q82vffxv2f29awbb9ad0p4rq4q"; |
|
|
|
|
|
|
|
|
|
mlPlugin = true; |
|
|
|
|
preBuild = "coq_makefile -f _CoqProject -o Makefile"; |
|
|
|
|