pyrox.dev
lol
coqPackages.ceres: init at 0.4.0
authored by
Théo Zimmermann
and committed by
Vincent Laporte
28bf99d3
7ac53ad7
+20
+19
pkgs/development/coq-modules/ceres/default.nix
+19
pkgs/development/coq-modules/ceres/default.nix
···
1
+
{ lib, mkCoqDerivation, coq, version ? null }:
2
+
3
+
with lib;
4
+
mkCoqDerivation {
5
+
6
+
pname = "ceres";
7
+
repo = "coq-ceres";
8
+
owner = "Lysxia";
9
+
10
+
inherit version;
11
+
defaultVersion = if versions.isGe "8.8" coq.version then "0.4.0" else null;
12
+
release."0.4.0".sha256 = "sha256:0zwp3pn6fdj0qdig734zdczrls886al06mxqhhabms0jvvqijmbi";
13
+
14
+
meta = {
15
+
description = "Library for serialization to S-expressions";
16
+
license = licenses.mit;
17
+
maintainers = with maintainers; [ Zimmi48 ];
18
+
};
19
+
}
+1
pkgs/top-level/coq-packages.nix
+1
pkgs/top-level/coq-packages.nix
···
20
20
then callPackage ../development/coq-modules/bignums {}
21
21
else null;
22
22
category-theory = callPackage ../development/coq-modules/category-theory { };
23
+
ceres = callPackage ../development/coq-modules/ceres {};
23
24
Cheerios = callPackage ../development/coq-modules/Cheerios {};
24
25
CoLoR = callPackage ../development/coq-modules/CoLoR {};
25
26
compcert = callPackage ../development/coq-modules/compcert {