diff options
author | 2016-11-15 10:29:49 +0100 | |
---|---|---|
committer | 2016-11-15 10:36:02 +0100 | |
commit | 09762c0b7aef328edabb50aee2d01cd64d3bded7 (patch) | |
tree | 57a5c376ff4bdc60bb77dff0f0fc2b89638dd906 /dev-lang | |
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')
0 files changed, 0 insertions, 0 deletions