diff options
| author | Alex Rice <alexrice999@hotmail.co.uk> | 2021-07-23 16:07:19 +0100 |
|---|---|---|
| committer | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-07-26 11:41:06 +0200 |
| commit | 9d4867074b5d279bf0d2611f3005c50d6c7944f2 (patch) | |
| tree | 35097c3da533cb3ad207a6a9032ad6bf25037632 /pkgs/top-level | |
| parent | 9dfc62e2b8a67ae2d6ec0568205ca2f367342b11 (diff) | |
| download | nixlib-9d4867074b5d279bf0d2611f3005c50d6c7944f2.tar nixlib-9d4867074b5d279bf0d2611f3005c50d6c7944f2.tar.gz nixlib-9d4867074b5d279bf0d2611f3005c50d6c7944f2.tar.bz2 nixlib-9d4867074b5d279bf0d2611f3005c50d6c7944f2.tar.lz nixlib-9d4867074b5d279bf0d2611f3005c50d6c7944f2.tar.xz nixlib-9d4867074b5d279bf0d2611f3005c50d6c7944f2.tar.zst nixlib-9d4867074b5d279bf0d2611f3005c50d6c7944f2.zip | |
Agda: mark packages as broken until 2.6.2 compatible release is made
Co-authored-by: sternenseemann <sternenseemann@systemli.org>
Diffstat (limited to 'pkgs/top-level')
0 files changed, 0 insertions, 0 deletions