2 commits

Author	SHA1	Message	Date
Default email	ae91cbe6cc	Project import generated by Copybara. ... GitOrigin-RevId: 536fe36e23ab0fc8b7f35c24603422eee9fc17a2	2021-02-05 18:12:51 +01:00
Default email	66604c92c1	Project import generated by Copybara. ... GitOrigin-RevId: 32b8ed738096bafb4cdb7f70347a0f63f9f40151	2020-05-15 23:57:56 +02:00

Renamed from third_party/nixpkgs/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix (Browse further)