nixsearch
nixsearch / pkg / coqPackages.mathcomp-real-closed

coqPackages.mathcomp-real-closed

Mathematical Components Library on real closed fields
CECILL-C github.com coqPackages.mathcomp-real-closed 9 releases newest changed
coqPackages.mathcomp-real-closed@ latest, 3.11, ^3.11, >=3.10 <3.12
version2.0.5 attributecoqPackages.mathcomp-real-closed rev systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux 
$ devbox add coqPackages.mathcomp-real-closed@2.0.5
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#coqPackages.mathcomp-real-closed  # aarch64-darwin
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#coqPackages.mathcomp-real-closed  # aarch64-linux
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#coqPackages.mathcomp-real-closed  # x86_64-darwin
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#coqPackages.mathcomp-real-closed  # x86_64-linux

JSON: /v2/resolve?name=coqPackages.mathcomp-real-closed&version=latest

Releases

newest first, as /v2/pkg orders them
Versionarm
mac		arm
linux		x86
mac		x86
linux		AttributeCommitDateOutputs
2.0.5resolved ✓✓✓✓ coqPackages.mathcomp-real-closed varies
2.0.3 ✓✓✓✓ coqPackages.mathcomp-real-closed e9a7635a57
2.0.2 ✓✓✓✓ coqPackages.mathcomp-real-closed varies
2.0.1 ✓✓✓✓ coqPackages.mathcomp-real-closed bf689c40d0
1.1.4 ✓✓✓✓ coqPackages.mathcomp-real-closed 0cb2fd7c59
1.1.3 ✓✓✓✓ coqPackages.mathcomp-real-closed 0749042bfa
1.1.2 ✓✓✓✓ coqPackages.mathcomp-real-closed ed0fab06cc
1.1.1 –––✓ coqPackages.mathcomp-real-closed 316b82563a
1.0.4 –––✓ coqPackages.mathcomp-real-closed 43f84e1d69

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.