nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-03 13:30:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

coqPackages.serapi: remove with Coq 8.14

Browse Source 
(cherry picked from commit 0b40bc9df9)
This commit is contained in:
Vincent Laporte
2021-11-24 10:34:03 +00:00
committed by github-actions[bot]
parent bbb796562b
commit abca7d975e
1 changed files with 0 additions and 1 deletions
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"; }