{"name":"coqPackages.LibHyps","summary":"Hypotheses manipulation library","description":"","homepage_url":"https://github.com/Matafou/LibHyps","license":"MIT","attribute_paths":["coqPackages.LibHyps"],"releases":[{"version":"2.0.8","last_updated":"2026-03-21T07:29:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.LibHyps","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/1jq5panqg0zx672qp215ag86vdqqn6q3-coq9.0-LibHyps-2.0.8","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.LibHyps","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/i9ajk5jladz4j7xwb9j1qz9lbikd9yna-coq9.0-LibHyps-2.0.8","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.LibHyps","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/gn7a17abswp7q4bmd0jvld7zxwdi89ga-coq9.0-LibHyps-2.0.8","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.LibHyps","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/y5hbvnqyvgfk6s1njgrgdmlnnm2g69w6-coq9.0-LibHyps-2.0.8","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.0.4.1","last_updated":"2024-04-02T02:53:36Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.LibHyps","commit_hash":"080a4a27f206d07724b88da096e27ef63401a504","date":"2024-04-02T02:53:36Z","outputs":[{"name":"out","path":"/nix/store/j3qzg11s1qwv7vvg33rnsis1gp6s9cyz-coq8.18-LibHyps-2.0.4.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.LibHyps","commit_hash":"080a4a27f206d07724b88da096e27ef63401a504","date":"2024-04-02T02:53:36Z","outputs":[{"name":"out","path":"/nix/store/y5za493cw0b5dc4a5nrvbl115gpisyah-coq8.18-LibHyps-2.0.4.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.LibHyps","commit_hash":"080a4a27f206d07724b88da096e27ef63401a504","date":"2024-04-02T02:53:36Z","outputs":[{"name":"out","path":"/nix/store/15bjbbzly8nyhyf17p9javh6jm547zgg-coq8.18-LibHyps-2.0.4.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.LibHyps","commit_hash":"080a4a27f206d07724b88da096e27ef63401a504","date":"2024-04-02T02:53:36Z","outputs":[{"name":"out","path":"/nix/store/v8ml84g3pkazn0xd8smlwb3y5j217zld-coq8.18-LibHyps-2.0.4.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}