|
|
|
@ -2,14 +2,15 @@ |
|
|
|
|
|
|
|
|
|
let |
|
|
|
|
versions = { |
|
|
|
|
"0.9.1" = { |
|
|
|
|
rev = "v0.9.1"; |
|
|
|
|
sha256 = "00fibahkmvisr16ffaxfrc00gcijsv9rgk4v8ibmy1jv0iyk875b"; |
|
|
|
|
"0.10.0" = { |
|
|
|
|
rev = "v0.10.0"; |
|
|
|
|
sha256 = "1a3vry9nzavrlrdlq3cys3f8kpq3bz447q8c4c7lh2qal61wb32h"; |
|
|
|
|
}; |
|
|
|
|
}; |
|
|
|
|
version = x: versions.${x} // {version = x;}; |
|
|
|
|
params = { |
|
|
|
|
"8.11" = version "0.9.1"; |
|
|
|
|
"8.11" = version "0.10.0"; |
|
|
|
|
"8.12" = version "0.10.0"; |
|
|
|
|
}; |
|
|
|
|
param = params.${coq.coq-version}; |
|
|
|
|
in |
|
|
|
|