{"name":"coqPackages.mathcomp-abel","summary":"Abel - Galois and Abel - Ruffini Theorems","description":"","homepage_url":"https://github.com/math-comp/abel","license":"CECILL-B","attribute_paths":["coqPackages.mathcomp-abel"],"releases":[{"version":"1.2.1","last_updated":"2023-03-03T04:15:01Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-abel","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/k79s15csjck4440r9wlql8mfh96g0dib-coq8.16-mathcomp1.15-abel-1.2.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-abel","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/qwcslzpyh5n9y2q98ci6wzxrg0kivjvb-coq8.16-mathcomp1.15-abel-1.2.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-abel","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/y526ihwl0wi7gx64j0p7naznavl4xyny-coq8.16-mathcomp1.15-abel-1.2.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-abel","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/ikz2i21lsba6asz262ghic7p1zzywbq0-coq8.16-mathcomp1.15-abel-1.2.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.2.0","last_updated":"2022-07-19T17:55:53Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-abel","commit_hash":"6f884c2f43c7bb105816303eb4867da672ec6f39","date":"2022-07-19T17:55:53Z","outputs":[{"name":"out","path":"/nix/store/4vxx6xiypa97gw0msikml1k87ysfqxy4-coq8.15-mathcomp1.14-abel-1.2.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-abel","commit_hash":"6f884c2f43c7bb105816303eb4867da672ec6f39","date":"2022-07-19T17:55:53Z","outputs":[{"name":"out","path":"/nix/store/29ss8jfza7pxa8r9layzmlvzzpfzrcsh-coq8.15-mathcomp1.14-abel-1.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-abel","commit_hash":"6f884c2f43c7bb105816303eb4867da672ec6f39","date":"2022-07-19T17:55:53Z","outputs":[{"name":"out","path":"/nix/store/nqim4v6ar4vbfchq3lf6c8n55fcb7nzc-coq8.15-mathcomp1.14-abel-1.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-abel","commit_hash":"6f884c2f43c7bb105816303eb4867da672ec6f39","date":"2022-07-19T17:55:53Z","outputs":[{"name":"out","path":"/nix/store/j4wps45030276m5nlhxr8689wnqdcv4l-coq8.15-mathcomp1.14-abel-1.2.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.0.0","last_updated":"2021-10-22T02:15:45Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-abel","commit_hash":"718895c14907b60069520b6394b4dbb6e3aa9c33","date":"2021-10-22T02:15:45Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-abel","commit_hash":"718895c14907b60069520b6394b4dbb6e3aa9c33","date":"2021-10-22T02:15:45Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-abel","commit_hash":"718895c14907b60069520b6394b4dbb6e3aa9c33","date":"2021-10-22T02:15:45Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}