b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

coqPackages.serapi: remove with Coq 8.14

Browse source
This commit is contained in:
Vincent Laporte 2021-11-24 10:34:03 +00:00 committed by Vincent Laporte
parent 9cb58616cc
commit 4f51fae5bb
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
pkgs/development/coq-modules/serapi/default.nix
View file

@ -28,7 +28,6 @@ in
inherit version release;
defaultVersion = with versions; switch coq.version [
{ case = isEq "8.14"; out = "8.14+rc1+0.14.0"; }
{ case = isEq "8.13"; out = "8.13.0+0.13.0"; }
{ case = isEq "8.12"; out = "8.12.0+0.12.1"; }
{ case = isEq "8.11"; out = "8.11.0+0.11.1"; }