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 /pkgs/development/libraries/agda/Agda-Sheaves | |
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 'pkgs/development/libraries/agda/Agda-Sheaves')
-rw-r--r-- | pkgs/development/libraries/agda/Agda-Sheaves/default.nix | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/pkgs/development/libraries/agda/Agda-Sheaves/default.nix b/pkgs/development/libraries/agda/Agda-Sheaves/default.nix index b7634c36913e..83066f5da632 100644 --- a/pkgs/development/libraries/agda/Agda-Sheaves/default.nix +++ b/pkgs/development/libraries/agda/Agda-Sheaves/default.nix @@ -19,6 +19,5 @@ agda.mkDerivation (self: rec { license = stdenv.lib.licenses.cc-by-40; platforms = stdenv.lib.platforms.unix; maintainers = with stdenv.lib.maintainers; [ fuuzetsu ]; - broken = true; # replaced by constructive-sheaf-semantics }; -}) +}) \ No newline at end of file |