Commit graph

10 commits

Author SHA1 Message Date
Default email
504525a148 Project import generated by Copybara.
GitOrigin-RevId: bd645e8668ec6612439a9ee7e71f7eac4099d4f6
2024-01-02 12:29:13 +01:00
Default email
2c76a4cb41 Project import generated by Copybara.
GitOrigin-RevId: c757e9bd77b16ca2e03c89bf8bc9ecb28e0c06ad
2023-11-16 04:20:00 +00:00
Default email
5557ff764c Project import generated by Copybara.
GitOrigin-RevId: 988cc958c57ce4350ec248d2d53087777f9e1949
2023-02-22 11:55:15 +01:00
Default email
3cbfd2b52c Project import generated by Copybara.
GitOrigin-RevId: 395879c28386e1abf20c7ecacd45880759548391
2021-12-18 20:06:50 -05:00
Default email
5cae67db9e Project import generated by Copybara.
GitOrigin-RevId: b59c06dc92f8d03660eb4155754d93a6c34cda83
2021-07-17 23:14:59 +02:00
Default email
2189cff663 Project import generated by Copybara.
GitOrigin-RevId: 1fe6ed37fd9beb92afe90671c0c2a662a03463dd
2021-04-24 22:57:28 -05:00
Default email
bba55970ba Project import generated by Copybara.
GitOrigin-RevId: 3d1a7716d7f1fccbd7d30ab3b2ed3db831f43bde
2021-04-05 17:23:46 +02:00
Default email
ae91cbe6cc Project import generated by Copybara.
GitOrigin-RevId: 536fe36e23ab0fc8b7f35c24603422eee9fc17a2
2021-02-05 18:12:51 +01:00
Default email
ae1b531433 Project import generated by Copybara.
GitOrigin-RevId: 1dc37370c489b610f8b91d7fdd40633163ffbafd
2020-10-27 01:29:36 +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-stdlib/default.nix (Browse further)