diff options
| author | xeji <xeji@cat3.de> | 2018-04-11 11:39:07 +0200 |
|---|---|---|
| committer | xeji <xeji@cat3.de> | 2018-04-12 23:04:03 +0200 |
| commit | eb9a133eb67bc7adb46741931c2103548218f5f2 (patch) | |
| tree | b3455501ac635bc6aad2bf2b3c3a37d45cff890a /pkgs/development/libraries/agda | |
| parent | 48573657b5191790761887246efe8292de68d1c6 (diff) | |
| download | nixpkgs-eb9a133eb67bc7adb46741931c2103548218f5f2.tar nixpkgs-eb9a133eb67bc7adb46741931c2103548218f5f2.tar.gz nixpkgs-eb9a133eb67bc7adb46741931c2103548218f5f2.tar.bz2 nixpkgs-eb9a133eb67bc7adb46741931c2103548218f5f2.tar.lz nixpkgs-eb9a133eb67bc7adb46741931c2103548218f5f2.tar.xz nixpkgs-eb9a133eb67bc7adb46741931c2103548218f5f2.tar.zst nixpkgs-eb9a133eb67bc7adb46741931c2103548218f5f2.zip | |
percona-server: mark as broken
Diffstat (limited to 'pkgs/development/libraries/agda')
0 files changed, 0 insertions, 0 deletions