nixsearch
nixsearch / pkg / lngen / 2024-10-22

lngen 2024-10-22

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@2024-10-22
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit12a55407652e04dcf2309436eb06fef0d3713ef3 
$ nix shell github:NixOS/nixpkgs/12a55407652e04dcf2309436eb06fef0d3713ef3#lngen

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 lngen 12a55407652e
out
/nix/store/hlz3qgx06winzd7ix1w2kn79c8qmsmmh-lngen-unstable-2024-10-22
doc (not default)
/nix/store/7fv3dknr325mwmimjgy8f6afsxyg09gf-lngen-unstable-2024-10-22-doc
aarch64-linux
Linux · arm64		 lngen 12a55407652e
out
/nix/store/xx6aj2swbcmf9w0z99bc8r7ynhgffykm-lngen-unstable-2024-10-22
doc (not default)
/nix/store/gwhlmcn39v315jsr6dmxg32j8hmsrwqv-lngen-unstable-2024-10-22-doc
x86_64-darwin
macOS · x86-64		 lngen 12a55407652e
out
/nix/store/gmrp6vyzw6iqnsr9x4zz9xjgg67brxhf-lngen-unstable-2024-10-22
doc (not default)
/nix/store/mmiwljs57j03z00jf3dig85zs6zr2338-lngen-unstable-2024-10-22-doc
x86_64-linux
Linux · x86-64		 lngen 12a55407652e
out
/nix/store/a70yiyk3a1d47bf92mqw39qznkg1b6kd-lngen-unstable-2024-10-22
doc (not default)
/nix/store/qn68idlaj3rnffwfiph9lfndxs5rl6lz-lngen-unstable-2024-10-22-doc
all 3 releases older: 2023-10-17 →

JSON: /v2/pkg?name=lngen · /v2/resolve?name=lngen&version=2024-10-22