nixsearch
nixsearch / pkg / coqPackages.math-classes / 8.13.0

coqPackages.math-classes 8.13.0

Library of abstract interfaces for mathematical structures in Coq
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.math-classes@8.13.0
systemsaarch64-darwin, x86_64-darwin, x86_64-linux commitcc68710784ffe0ee035ee7b726656c44566cac94 
$ nix shell github:NixOS/nixpkgs/cc68710784ffe0ee035ee7b726656c44566cac94#coqPackages.math-classes

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.math-classes cc68710784ff
x86_64-darwin
macOS · x86-64		 coqPackages.math-classes cc68710784ff
x86_64-linux
Linux · x86-64		 coqPackages.math-classes cc68710784ff
← newer: 8.15.0 all 9 releases older: 8.12.0 →

JSON: /v2/pkg?name=coqPackages.math-classes · /v2/resolve?name=coqPackages.math-classes&version=8.13.0