/[gentoo-x86]/sci-mathematics/twelf
Gentoo

Index of /sci-mathematics/twelf

Anonymous Access: cvs -d :pserver:anonymous@anoncvs.gentoo.org:/var/cvsroot co gentoo-x86/sci-mathematics/twelf

Developer Access: cvs -d :ext:${USER}@cvs.gentoo.org:/var/cvsroot co gentoo-x86/sci-mathematics/twelf

More Information: http://anoncvs.gentoo.org/

Files shown:4


File Rev. Age Author Last log entry
 Parent Directory        
files/         (from /)
ChangeLog  1.7  5 months  jlec  use dobin instead of exeinto /usr/bin/ && doexe; swicth from base eclass to epat…
Manifest  1.7  5 months  jlec  use dobin instead of exeinto /usr/bin/ && doexe; swicth from base eclass to epat…
metadata.xml  1.3  19 months  jlec  sci-mathematics/twelf: Punt base.eclass (Portage version: 2.2.8/cvs/Linux x86_6…
twelf-1.7.1.ebuild  1.6  5 months  jlec  use dobin instead of exeinto /usr/bin/ && doexe; swicth from base eclass to epat…

Sticky Tag:

  ViewVC Help
Powered by ViewVC 1.1.20