pkgs/development/libraries/agda/TotalParserCombinators/contextfile · 3ba3d8d8cbec36605095d3a30ff6b82902af289c · Lars Rasmusson / nixpkgs · GitLab

Skip to content

GitLab

Explore

Sign in

nixpkgs
pkgs
development
libraries
agda
TotalParserCombinators
contextfile

Blame Permalink

Apr 05, 2015
25618c36
agda: migrate to haskell-ng, update and cleanup · 25618c36
Nikolay Amiantov authored Apr 05, 2015
```
Resolves https://github.com/NixOS/nixpkgs/pull/7172.
```
25618c36
agda: migrate to haskell-ng, update and cleanup
Nikolay Amiantov authored Apr 05, 2015
```
Resolves https://github.com/NixOS/nixpkgs/pull/7172.
```

Loading