{"name":"coqPackages.mathcomp-bigenough","version":"1.0.0","summary":"A small library to do epsilon - N reasonning","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2df15ba83d0510a56f2583fd3481723835acb5a1"},"attr_path":"coqPackages.mathcomp-bigenough"},"last_updated":"2021-12-03T17:41:48Z"},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2df15ba83d0510a56f2583fd3481723835acb5a1"},"attr_path":"coqPackages.mathcomp-bigenough"},"last_updated":"2021-12-03T17:41:48Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2df15ba83d0510a56f2583fd3481723835acb5a1"},"attr_path":"coqPackages.mathcomp-bigenough"},"last_updated":"2021-12-03T17:41:48Z"}}}