Something went wrong. Try again.
lol
Something went wrong. Try again.
1.2 kB · 61 lines
Nix
at master
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162{ lib, mkCoqDerivation, which, coq, metacoq, version ? null,}:
mkCoqDerivation { pname = "RustExtraction"; repo = "coq-rust-extraction"; owner = "AU-COBRA"; domain = "github.com";
inherit version; defaultVersion = let case = coq: mc: out: { cases = [ coq mc ]; inherit out; }; inherit (lib.versions) range; in lib.switch [ coq.coq-version metacoq.version ] [ (case (range "8.20" "9.0") (range "1.3.2" "1.3.4") "0.1.1") (case (range "8.17" "8.19") (range "1.3.1" "1.3.3") "0.1.0") ] null;
release."0.1.0".sha256 = "+Of/DP2Vjsa7ASKswjlvqqhcmDhC9WrozridedNZQkY="; release."0.1.1".sha256 = "CPZ5J9knJ1aYoQ7RQN8YFSpxqJXjgQaxIA4F8G6X4tM=";
releaseRev = v: "v${v}";
propagatedBuildInputs = [ coq.ocamlPackages.findlib metacoq ];
postPatch = '' patchShebangs ./process_extraction.sh patchShebangs ./tests/process-extraction-examples.sh '';
mlPlugin = true;
meta = { description = "Framework for extracting Coq programs to Rust"; maintainers = with lib.maintainers; [ _4ever2 ]; license = lib.licenses.mit; };}