{"name":"coqPackages.mathcomp-abel","version":"1.0.0","summary":"Abel - Galois and Abel - Ruffini Theorems","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"718895c14907b60069520b6394b4dbb6e3aa9c33"},"attr_path":"coqPackages.mathcomp-abel"},"last_updated":"2021-10-22T02:15:45Z"},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"718895c14907b60069520b6394b4dbb6e3aa9c33"},"attr_path":"coqPackages.mathcomp-abel"},"last_updated":"2021-10-22T02:15:45Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"718895c14907b60069520b6394b4dbb6e3aa9c33"},"attr_path":"coqPackages.mathcomp-abel"},"last_updated":"2021-10-22T02:15:45Z"}}}