diff options
author | Manuel Bärenz <programming@manuelbaerenz.de> | 2021-07-22 16:35:01 +0200 |
---|---|---|
committer | sterni <sternenseemann@systemli.org> | 2021-07-22 17:29:09 +0200 |
commit | 6721ae424aeb0ddb4feeabed1eadcbcce6b7c1f5 (patch) | |
tree | 1122be613553548d29c6d3427f65d67d8c9c8307 /pkgs/top-level | |
parent | af84eacb05c5210ef1bb2520ed9e6e40c063d605 (diff) | |
download | nixlib-6721ae424aeb0ddb4feeabed1eadcbcce6b7c1f5.tar nixlib-6721ae424aeb0ddb4feeabed1eadcbcce6b7c1f5.tar.gz nixlib-6721ae424aeb0ddb4feeabed1eadcbcce6b7c1f5.tar.bz2 nixlib-6721ae424aeb0ddb4feeabed1eadcbcce6b7c1f5.tar.lz nixlib-6721ae424aeb0ddb4feeabed1eadcbcce6b7c1f5.tar.xz nixlib-6721ae424aeb0ddb4feeabed1eadcbcce6b7c1f5.tar.zst nixlib-6721ae424aeb0ddb4feeabed1eadcbcce6b7c1f5.zip |
agdaPackages.iowa-stdlib: Remove hydraPlatforms
They are set automatically in the agda packages builder.
Diffstat (limited to 'pkgs/top-level')
0 files changed, 0 insertions, 0 deletions