nixsearch
nixsearch / pkg / coqPackages.mathcomp-finmap / 2.1.0

coqPackages.mathcomp-finmap 2.1.0

Finset and finmap library
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.mathcomp-finmap@2.1.0
systemsaarch64-darwin, x86_64-darwin commit4be4d7a7758d92d60a092a503c93a381f95c71b1 
$ nix shell github:NixOS/nixpkgs/4be4d7a7758d92d60a092a503c93a381f95c71b1#coqPackages.mathcomp-finmap
systemsaarch64-linux, x86_64-linux commit1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679 
$ nix shell github:NixOS/nixpkgs/1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679#coqPackages.mathcomp-finmap

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.mathcomp-finmap 4be4d7a7758d
out
/nix/store/f529i74j778x49brj1j245nslfg195dq-coq9.0-mathcomp2.3-finmap-2.1.0
aarch64-linux
Linux · arm64		 coqPackages.mathcomp-finmap 1cb1c02a6b1b
out
/nix/store/f84ciimjs5hs366n6zfy9brk6s3gwnc2-coq9.0-mathcomp2.3-finmap-2.1.0
x86_64-darwin
macOS · x86-64		 coqPackages.mathcomp-finmap 4be4d7a7758d
out
/nix/store/x304lg9f3jwhvdkrmi52lmcj321fb6bk-coq9.0-mathcomp2.3-finmap-2.1.0
x86_64-linux
Linux · x86-64		 coqPackages.mathcomp-finmap 1cb1c02a6b1b
out
/nix/store/da39qjsr7f2bgjjajk1w0hnhylgd67c0-coq9.0-mathcomp2.3-finmap-2.1.0
← newer: 2.2.0 all 7 releases older: 1.5.2 →

JSON: /v2/pkg?name=coqPackages.mathcomp-finmap · /v2/resolve?name=coqPackages.mathcomp-finmap&version=2.1.0