nixsearch
nixsearch / pkg / lngen / 2023-10-17

lngen 2023-10-17

Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Linux and macOS last changed outputs: out, doc

Pin this version

$ devbox add lngen@2023-10-17
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commitaebe249544837ce42588aa4b2e7972222ba12e8f 
$ nix shell github:NixOS/nixpkgs/aebe249544837ce42588aa4b2e7972222ba12e8f#lngen

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 lngen aebe24954483
out
/nix/store/8ypw5ag9gkmnla2ixfs7gz6flh0hjbg8-lngen-unstable-2023-10-17
doc (not default)
/nix/store/vn63a02kp61iswki5nwkqal4ih7f09lz-lngen-unstable-2023-10-17-doc
aarch64-linux
Linux · arm64		 lngen aebe24954483
out
/nix/store/riskkr4zjk4yvbc6i5wzhmgidihxj21f-lngen-unstable-2023-10-17
doc (not default)
/nix/store/bvi2r9nwbaydl3sirr7zkw32si7z76af-lngen-unstable-2023-10-17-doc
x86_64-darwin
macOS · x86-64		 lngen aebe24954483
out
/nix/store/kn47dmqazll2qrn9azznvr12baligbpd-lngen-unstable-2023-10-17
doc (not default)
/nix/store/la5d1rgjwhighah3c33ykvrpc054srym-lngen-unstable-2023-10-17-doc
x86_64-linux
Linux · x86-64		 lngen aebe24954483
out
/nix/store/yhm81iif76swpz3gfrchl3jvyap9wnxg-lngen-unstable-2023-10-17
doc (not default)
/nix/store/p13skwbzmbsvgvfz32d68ff6lb1lpybb-lngen-unstable-2023-10-17-doc
← newer: 2024-10-22 all 3 releases older: 0-unstable-2024-10-22 →

JSON: /v2/pkg?name=lngen · /v2/resolve?name=lngen&version=2023-10-17