diff options
| author | Lassulus <github@lassul.us> | 2020-06-04 09:05:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-04 09:05:06 +0200 |
| commit | 2d2f04b6a457922627e43e97e3e6e2cde86bc69b (patch) | |
| tree | 00d913062daaa369597afa1b4477e2a127675ab2 /pkgs/development/coq-modules/coq-elpi | |
| parent | 01af00f7802e4a5a5fbe2392953de08dcad28cb6 (diff) | |
| parent | 7fc97cf30b455f62af0b10ff99f8330a6e0170f8 (diff) | |
| download | nixpkgs-2d2f04b6a457922627e43e97e3e6e2cde86bc69b.tar nixpkgs-2d2f04b6a457922627e43e97e3e6e2cde86bc69b.tar.gz nixpkgs-2d2f04b6a457922627e43e97e3e6e2cde86bc69b.tar.bz2 nixpkgs-2d2f04b6a457922627e43e97e3e6e2cde86bc69b.tar.lz nixpkgs-2d2f04b6a457922627e43e97e3e6e2cde86bc69b.tar.xz nixpkgs-2d2f04b6a457922627e43e97e3e6e2cde86bc69b.tar.zst nixpkgs-2d2f04b6a457922627e43e97e3e6e2cde86bc69b.zip | |
Merge pull request #88989 from wchresta/idris2
idris2: 0.2.0-840e020 -> 0.2.0
Diffstat (limited to 'pkgs/development/coq-modules/coq-elpi')
0 files changed, 0 insertions, 0 deletions