diff options
| author | Peter Simons <simons@cryp.to> | 2014-08-06 13:39:30 +0200 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2014-08-06 13:39:30 +0200 |
| commit | b6e2a52b7255814891df1ea42a603f5c6db8ed1d (patch) | |
| tree | 5e1e80443c350c27cc6173ed19ebf1b92e9e6d16 /pkgs/development/pharo | |
| parent | 0dd155180617dcc7ea978f6adc83b4d80d95f611 (diff) | |
| parent | 84cf3f3de784a1092addcecaf668b202e674800e (diff) | |
| download | nixlib-b6e2a52b7255814891df1ea42a603f5c6db8ed1d.tar nixlib-b6e2a52b7255814891df1ea42a603f5c6db8ed1d.tar.gz nixlib-b6e2a52b7255814891df1ea42a603f5c6db8ed1d.tar.bz2 nixlib-b6e2a52b7255814891df1ea42a603f5c6db8ed1d.tar.lz nixlib-b6e2a52b7255814891df1ea42a603f5c6db8ed1d.tar.xz nixlib-b6e2a52b7255814891df1ea42a603f5c6db8ed1d.tar.zst nixlib-b6e2a52b7255814891df1ea42a603f5c6db8ed1d.zip | |
Merge pull request #3418 from peti/drop-obsolete-agda-version
Agda: drop obsolete version 2.3.2.2
Diffstat (limited to 'pkgs/development/pharo')
0 files changed, 0 insertions, 0 deletions