diff options
| author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2021-09-15 12:54:46 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-09-15 14:23:46 +0200 |
| commit | 28bf99d3cf2b42e03b5e5507b7ae3d8c487881fd (patch) | |
| tree | 4be999119a41b16a389b1f1c10f0a78b9ccca367 /pkgs/development/coq-modules | |
| parent | 7ac53ad7b954c1b349d4172c38767e8e77ac4640 (diff) | |
| download | nixpkgs-28bf99d3cf2b42e03b5e5507b7ae3d8c487881fd.tar nixpkgs-28bf99d3cf2b42e03b5e5507b7ae3d8c487881fd.tar.gz nixpkgs-28bf99d3cf2b42e03b5e5507b7ae3d8c487881fd.tar.bz2 nixpkgs-28bf99d3cf2b42e03b5e5507b7ae3d8c487881fd.tar.lz nixpkgs-28bf99d3cf2b42e03b5e5507b7ae3d8c487881fd.tar.xz nixpkgs-28bf99d3cf2b42e03b5e5507b7ae3d8c487881fd.tar.zst nixpkgs-28bf99d3cf2b42e03b5e5507b7ae3d8c487881fd.zip | |
coqPackages.ceres: init at 0.4.0
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/ceres/default.nix | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/ceres/default.nix b/pkgs/development/coq-modules/ceres/default.nix new file mode 100644 index 00000000000..1813cd700c7 --- /dev/null +++ b/pkgs/development/coq-modules/ceres/default.nix @@ -0,0 +1,19 @@ +{ lib, mkCoqDerivation, coq, version ? null }: + +with lib; +mkCoqDerivation { + + pname = "ceres"; + repo = "coq-ceres"; + owner = "Lysxia"; + + inherit version; + defaultVersion = if versions.isGe "8.8" coq.version then "0.4.0" else null; + release."0.4.0".sha256 = "sha256:0zwp3pn6fdj0qdig734zdczrls886al06mxqhhabms0jvvqijmbi"; + + meta = { + description = "Library for serialization to S-expressions"; + license = licenses.mit; + maintainers = with maintainers; [ Zimmi48 ]; + }; +} |