Ycarus Gentoo ebuild

liftm

These ebuilds come from .

If you have some problems, go to the official site first.

sci-mathematics

isabelle : Isabelle is a generic proof assistant ( http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html )

Add an ebuild in portage :

The ebuild is now in the portage tree.

You can also use layman : emerge layman then layman -a liftm

For Paludis use this rsync : rsync://gentoo.zugaina.org/liftm-portage

If you have a problem : ycarus(-at-)zugaina.org