{"name":"coqPackages.mathcomp-bigenough","version":"1.0.1","summary":"Small library to do epsilon - N reasonning","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4dfc61e9cd0c26b3bc3e6d6fac3ba10d18959fc4"},"attr_path":"coqPackages.mathcomp-bigenough"},"last_updated":"2025-01-24T01:56:22Z","outputs":[{"name":"out","path":"/nix/store/0raa092swcjizv3wjym8qggkrzd78zjj-coq8.20-mathcomp2.3-bigenough-1.0.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4dfc61e9cd0c26b3bc3e6d6fac3ba10d18959fc4"},"attr_path":"coqPackages.mathcomp-bigenough"},"last_updated":"2025-01-24T01:56:22Z","outputs":[{"name":"out","path":"/nix/store/6gb448k2mmgmg5ia8cr25ayn5na7s780-coq8.20-mathcomp2.3-bigenough-1.0.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4dfc61e9cd0c26b3bc3e6d6fac3ba10d18959fc4"},"attr_path":"coqPackages.mathcomp-bigenough"},"last_updated":"2025-01-24T01:56:22Z","outputs":[{"name":"out","path":"/nix/store/bksga9a10lxfmcwbvh8gqfn02xyhpqsf-coq8.20-mathcomp2.3-bigenough-1.0.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4dfc61e9cd0c26b3bc3e6d6fac3ba10d18959fc4"},"attr_path":"coqPackages.mathcomp-bigenough"},"last_updated":"2025-01-24T01:56:22Z","outputs":[{"name":"out","path":"/nix/store/7ijp16lw0rj3c5pjz3ij5xx6gjfww0cs-coq8.20-mathcomp2.3-bigenough-1.0.1","default":true}]}}}