This website requires JavaScript.
Explore
Help
Sign in
calculate
/
gentoo-full-overlay
Watch
4
Star
1
Fork
You've already forked gentoo-full-overlay
0
Code
Issues
Pull requests
Releases
Wiki
Activity
84548ab45b
gentoo-full-overlay
/
sci-mathematics
/
coq
History
root
88e501daae
Sync with portage [Tue Jan 26 08:51:37 MSK 2016].
2016-01-26 08:51:40 +03:00
..
files
Sync with portage [Sun Jan 24 15:14:47 MSK 2016].
2016-01-24 15:14:50 +03:00
ChangeLog
Sync with portage [Tue Jan 26 08:51:37 MSK 2016].
2016-01-26 08:51:40 +03:00
ChangeLog-2015
Sync with portage [Tue Nov 10 18:02:10 MSK 2015].
2015-11-10 18:02:13 +03:00
coq-8.4_p5.ebuild
Sync with portage [Thu Nov 12 22:09:38 MSK 2015].
2015-11-12 22:09:41 +03:00
coq-8.4_p6.ebuild
Sync with portage [Tue Aug 11 00:17:52 MSK 2015].
2015-08-11 00:17:55 +03:00
coq-8.5.ebuild
Sync with portage [Sun Jan 24 15:14:47 MSK 2016].
2016-01-24 15:14:50 +03:00
Manifest
Sync with portage [Tue Jan 26 08:51:37 MSK 2016].
2016-01-26 08:51:40 +03:00
metadata.xml
Sync with portage [Tue Jan 26 08:51:37 MSK 2016].
2016-01-26 08:51:40 +03:00