diff options
author | John Wiegley <johnw@newartisans.com> | 2018-10-10 10:00:23 -0700 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2018-10-10 10:00:23 -0700 |
commit | 1ba4d23c3a1409c954bca89e69fe04a5ce9a1517 (patch) | |
tree | d9423ba8ccab8a30d5cfd0fa616553dc955c11fb /pkgs/games/openra | |
parent | bd778b93c9bb50c9eb3ddaf162fdc8b35385b464 (diff) | |
download | nixlib-1ba4d23c3a1409c954bca89e69fe04a5ce9a1517.tar nixlib-1ba4d23c3a1409c954bca89e69fe04a5ce9a1517.tar.gz nixlib-1ba4d23c3a1409c954bca89e69fe04a5ce9a1517.tar.bz2 nixlib-1ba4d23c3a1409c954bca89e69fe04a5ce9a1517.tar.lz nixlib-1ba4d23c3a1409c954bca89e69fe04a5ce9a1517.tar.xz nixlib-1ba4d23c3a1409c954bca89e69fe04a5ce9a1517.tar.zst nixlib-1ba4d23c3a1409c954bca89e69fe04a5ce9a1517.zip |
Revert "coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27"
This reverts commit f5f71c08cdbf1f66b654a1321460b6a7d771c26a, due to insufficient testing.
Diffstat (limited to 'pkgs/games/openra')
0 files changed, 0 insertions, 0 deletions