Ycarus Gentoo ebuild

sortsmill

Ces ebuilds viennent du site .

Si vous avez des problemes allez sur le site officiel.

dev-ats2

ats2-patstrans : ATS2 Patstrans ( https://ats2libraries.sourceforge.io )

dsats2-bitstring_maps : Bitstring Maps for ATS2 ( https://ats2libraries.sourceforge.io )

dsats2-byte_vectors : Byte Vectors for ATS2 ( https://ats2libraries.sourceforge.io )

dsats2-hash_maps : Hash Maps for ATS2 ( https://ats2libraries.sourceforge.io )

dsats2-lazy_lists : Lazy Lists for ATS2 ( https://ats2libraries.sourceforge.io )

dsats2-modules : Data Structure Modules for ATS2 ( https://ats2libraries.sourceforge.io )

dsats2-murmurhash3 : MurmurHash3 for ATS2 ( https://ats2libraries.sourceforge.io )

dsats2-vector_tries : Vector Tries (Persistent Vectors) for ATS2 ( https://ats2libraries.sourceforge.io )

mats2-integers : Integers for ATS2 ( https://ats2libraries.sourceforge.io )

patsolve_z3 : Use Z3 Prover as an external constraint solver for ATS2/Postiats ( http://www.ats-lang.org/ )

Pour rajouter une e-build dans l'arbre de portage :

L'ebuild est alors rajouté dans l'arbre de portage.

Vous pouvez aussi utiliser layman : emerge layman puis layman -a sortsmill

Pour Paludis utilisez ce rsync : rsync://gentoo.zugaina.org/sortsmill-portage

En cas de problèmes : ycarus(-at-)zugaina.org