diff options
| author |   Andrey Grozin <grozin@gentoo.org> | 2016-12-19 19:37:49 +0700 |
|---|---|---|
| committer | Andrey Grozin <grozin@gentoo.org> | 2016-12-19 19:37:49 +0700 |
| commit | 8280186e479b09364f872369f479092975e32288 (patch) | |
| tree | 09fab59fbd68c9753df3d126fecd14606d060109 /dev-ml/eliom | |
| parent | sci-mathematics/coq: bump to 8.6 (diff) | |
| download | gentoo-8280186e479b09364f872369f479092975e32288.tar.gz gentoo-8280186e479b09364f872369f479092975e32288.tar.bz2 gentoo-8280186e479b09364f872369f479092975e32288.zip | |
dev-lisp/ecls: bump to 16.1.3
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'dev-ml/eliom')
0 files changed, 0 insertions, 0 deletions