summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-11-15 10:29:49 +0100
committerAlexis Ballier <aballier@gentoo.org>2016-11-15 10:36:02 +0100
commit09762c0b7aef328edabb50aee2d01cd64d3bded7 (patch)
tree57a5c376ff4bdc60bb77dff0f0fc2b89638dd906 /sci-mathematics/rkward
parentdev-ml/extlib: bump to 1.7.1 (diff)
downloadgentoo-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 'sci-mathematics/rkward')
0 files changed, 0 insertions, 0 deletions