diff options
| author | Peter Simons <simons@cryp.to> | 2020-01-19 10:41:58 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-19 10:41:58 +0100 |
| commit | a097fa6870a450e9153803a8e4de7c4acc7d0db5 (patch) | |
| tree | 1f058bcaf3237ca69cdb1c79eb76c9e8fe9a5967 /pkgs/development/coq-modules | |
| parent | 47b445153529554771c1872d37976de404fc62fe (diff) | |
| parent | 42fd1d07270fdca3c64e4d63fcb1fa701e12d22d (diff) | |
| download | nixpkgs-a097fa6870a450e9153803a8e4de7c4acc7d0db5.tar nixpkgs-a097fa6870a450e9153803a8e4de7c4acc7d0db5.tar.gz nixpkgs-a097fa6870a450e9153803a8e4de7c4acc7d0db5.tar.bz2 nixpkgs-a097fa6870a450e9153803a8e4de7c4acc7d0db5.tar.lz nixpkgs-a097fa6870a450e9153803a8e4de7c4acc7d0db5.tar.xz nixpkgs-a097fa6870a450e9153803a8e4de7c4acc7d0db5.tar.zst nixpkgs-a097fa6870a450e9153803a8e4de7c4acc7d0db5.zip | |
Merge pull request #77986 from ggreif/patch-2
ghc: 8.8.2-rc1 -> 8.8.2
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions