diff options
| author | Jaka Hudoklin <jakahudoklin@gmail.com> | 2014-12-07 12:49:06 +0100 |
|---|---|---|
| committer | Jaka Hudoklin <jakahudoklin@gmail.com> | 2014-12-07 12:49:06 +0100 |
| commit | 1b8516b498808a4b936830ef3307c8ba250e18ce (patch) | |
| tree | cb6ffd43dbf3067faaffaf8eda3b30ef17186e06 /pkgs/development/coq-modules | |
| parent | 9b8e0828cce69afe671f2a69e3fcd4a83ce3a38f (diff) | |
| download | nixlib-1b8516b498808a4b936830ef3307c8ba250e18ce.tar nixlib-1b8516b498808a4b936830ef3307c8ba250e18ce.tar.gz nixlib-1b8516b498808a4b936830ef3307c8ba250e18ce.tar.bz2 nixlib-1b8516b498808a4b936830ef3307c8ba250e18ce.tar.lz nixlib-1b8516b498808a4b936830ef3307c8ba250e18ce.tar.xz nixlib-1b8516b498808a4b936830ef3307c8ba250e18ce.tar.zst nixlib-1b8516b498808a4b936830ef3307c8ba250e18ce.zip | |
nixos/kubernetes: fix tests
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions