Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
826 B · 37 lines
Nix
1234567891011121314151617181920212223242526272829303132333435363738{ lib, mkCoqDerivation, coq, stdlib, version ? null,}:
mkCoqDerivation {
pname = "ceres"; repo = "coq-ceres"; owner = "Lysxia";
inherit version; defaultVersion = let case = case: out: { inherit case out; }; in with lib.versions; lib.switch coq.version [ (case (range "8.14" "9.1") "0.4.1") (case (range "8.8" "8.16") "0.4.0") ] null; release."0.4.1".sha256 = "sha256-9vyk8/8IVsqNyhw3WPzl8w3L9Wu7gfaMVa3n2nWjFiA="; release."0.4.0".sha256 = "sha256:0zwp3pn6fdj0qdig734zdczrls886al06mxqhhabms0jvvqijmbi";
useDuneifVersion = lib.versions.isGe "0.4.1";
propagatedBuildInputs = [ stdlib ];
meta = with lib; { description = "Library for serialization to S-expressions"; license = licenses.mit; maintainers = with maintainers; [ Zimmi48 ]; };}