{"name":"coqPackages.atbr","summary":"Coq library and tactic for deciding Kleene algebras","description":"","homepage_url":"https://github.com/coq-community/atbr","license":"LGPL-3.0-or-later","attribute_paths":["coqPackages.atbr"],"releases":[{"version":"8.20.0","last_updated":"2025-03-11T17:52:14Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.atbr","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/0clvfwwap4ccmm7sa1r3k96aln0rp9bp-coq8.20-atbr-8.20.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.atbr","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/7n191afrdv6k5br29zqlfk0ql5dxqwjm-coq8.20-atbr-8.20.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.atbr","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/5vdjxw17a39rngpbhw8n0k559p3s6amb-coq8.20-atbr-8.20.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.atbr","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/hi1rwya935sbp9ms4dy779l2ipi1jfab-coq8.20-atbr-8.20.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}