diff options
author | Joachim Fasting <joachifm@fastmail.fm> | 2016-05-23 09:07:02 +0200 |
---|---|---|
committer | Joachim Fasting <joachifm@fastmail.fm> | 2016-05-23 09:07:02 +0200 |
commit | 6a2244e8f453ab6c66dff9411735c81cbad879fa (patch) | |
tree | ee4f4eaa34ba106d8ffb1c8f802558cfbb4a7904 /nixos/modules/system | |
parent | 89d50c4341a72bc2a0c3c5bfd0ffded30de141ff (diff) | |
download | nixlib-6a2244e8f453ab6c66dff9411735c81cbad879fa.tar nixlib-6a2244e8f453ab6c66dff9411735c81cbad879fa.tar.gz nixlib-6a2244e8f453ab6c66dff9411735c81cbad879fa.tar.bz2 nixlib-6a2244e8f453ab6c66dff9411735c81cbad879fa.tar.lz nixlib-6a2244e8f453ab6c66dff9411735c81cbad879fa.tar.xz nixlib-6a2244e8f453ab6c66dff9411735c81cbad879fa.tar.zst nixlib-6a2244e8f453ab6c66dff9411735c81cbad879fa.zip |
Revert "Merge pull request #15595 from laMudri/agda-stdlib"
This reverts commit ce4f6c215f2f34435638113421dd291a57d16715, reversing changes made to 7817d0901d44ba97e5862e94840098e2b97d8631. See https://github.com/NixOS/nixpkgs/pull/15595/commits/68e1419cb8eca6e306ec0a75f37621ae7aefabed#r64175487
Diffstat (limited to 'nixos/modules/system')
0 files changed, 0 insertions, 0 deletions