{"name":"coqPackages.mathcomp-bigenough","version":"1.0.3","summary":"Small library to do epsilon - N reasonning","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6308c3b21396534d8aaeac46179c14c439a89b8a"},"attr_path":"coqPackages.mathcomp-bigenough"},"last_updated":"2026-01-30T02:32:49Z","outputs":[{"name":"out","path":"/nix/store/vdisip3l6mgx0k28plpp4jz38lrg72yl-coq9.0-mathcomp2.5-bigenough-1.0.3","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6308c3b21396534d8aaeac46179c14c439a89b8a"},"attr_path":"coqPackages.mathcomp-bigenough"},"last_updated":"2026-01-30T02:32:49Z","outputs":[{"name":"out","path":"/nix/store/z3258df67815d3b9rnx07ky7cz4wy2d2-coq9.0-mathcomp2.5-bigenough-1.0.3","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6308c3b21396534d8aaeac46179c14c439a89b8a"},"attr_path":"coqPackages.mathcomp-bigenough"},"last_updated":"2026-01-30T02:32:49Z","outputs":[{"name":"out","path":"/nix/store/7wd2j0xp5ddac5vhawsqwn466wm0dslr-coq9.0-mathcomp2.5-bigenough-1.0.3","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6308c3b21396534d8aaeac46179c14c439a89b8a"},"attr_path":"coqPackages.mathcomp-bigenough"},"last_updated":"2026-01-30T02:32:49Z","outputs":[{"name":"out","path":"/nix/store/1cnl2x4zjfl90r4d2vdyilc6b8ykbxrr-coq9.0-mathcomp2.5-bigenough-1.0.3","default":true}]}}}