diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2016-11-15 10:29:49 +0100 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2016-11-15 10:36:02 +0100 |
| commit | 09762c0b7aef328edabb50aee2d01cd64d3bded7 (patch) | |
| tree | 57a5c376ff4bdc60bb77dff0f0fc2b89638dd906 /dev-lang/ocaml/ocaml-4.03.0.ebuild | |
| parent | dev-ml/extlib: bump to 1.7.1 (diff) | |
| download | gentoo-09762c0b7aef328edabb50aee2d01cd64d3bded7.tar.gz gentoo-09762c0b7aef328edabb50aee2d01cd64d3bded7.tar.bz2 gentoo-09762c0b7aef328edabb50aee2d01cd64d3bded7.zip | |
sci-mathematics/coq: bump to 8.5pl3
Package-Manager: portage-2.3.2
Diffstat (limited to 'dev-lang/ocaml/ocaml-4.03.0.ebuild')
0 files changed, 0 insertions, 0 deletions