gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.aac-tactics: init at 9.0.0

Browse Source
This commit is contained in:
Théo Zimmermann
2026-02-03 13:48:22 +01:00
parent 5b017e625f
commit 8e4a284d49
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/aac-tactics/default.nix
+5
View File
@@ -11,6 +11,7 @@ mkCoqDerivation {
releaseRev = v: "v${v}";
release."9.0.0".sha256 = "sha256-mln1182EOeXZCa1NzjAiovK93Xm+5JMZpGqJVrM67Jo=";
release."8.20.0".sha256 = "sha256-VQzeINIZAfP3Qyh29uPqcNVlNJfIzzRLtN0Cm4EuGCk=";
release."8.19.1".sha256 = "sha256-W/V57h+rjb3m0ktCG83PquMHfXiv6H1Nhvw9sVEPLqM=";
release."8.19.0".sha256 = "sha256-IeCBd8gcu4bAXH5I/XIT7neQIILi+EWR6qqAA4GzQD0=";
@@ -34,6 +35,10 @@ mkCoqDerivation {
defaultVersion =
lib.switch coq.coq-version [
{
case = "9.0";
out = "9.0.0";
}
{
case = "8.20";
out = "8.20.0";