Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 231966 - pure-9999.ebuild (new package)
Summary: pure-9999.ebuild (new package)
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: High enhancement (vote)
Assignee: Default Assignee for New Packages
Depends on:
Reported: 2008-07-16 14:20 UTC by Álvaro Castro Castilla
Modified: 2010-10-17 12:01 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---

first version. svn (pure-9999.ebuild,1.14 KB, text/plain)
2008-07-16 14:20 UTC, Álvaro Castro Castilla
Looks like Albert Graef is using google-code for hosting repository now. (pure-9999.ebuild,1.33 KB, text/plain)
2010-10-17 12:00 UTC, Nikolay Orlyuk

Note You need to log in before you can comment on or make changes to this bug.
Description Álvaro Castro Castilla 2008-07-16 14:20:05 UTC
Hi! Here is a description of pure:

Pure is a functional programming language based on term rewriting. Its core is actually purely algebraic and purely functional, but the name can also be taken as a recursive acronym for the "Pure Universal Rewriting Engine." Pure has a modern syntax featuring curried function applications, lexical closures and equational definitions with pattern matching, and thus is somewhat similar to languages of the Haskell and ML variety. But Pure is also a very dynamic and reflective language, and is more like Lisp in this respect.

It depends on llvm, so I also updated bugzilla ebuild of llvm-2.3
Comment 1 Álvaro Castro Castilla 2008-07-16 14:20:54 UTC
Created attachment 160562 [details]
first version. svn
Comment 2 Nikolay Orlyuk 2010-10-17 12:00:24 UTC
Created attachment 250999 [details]
Looks like Albert Graef is using google-code for hosting repository now.

I don't know why there was RDEPEND="!dev-lang/pure". I expect that for this ebuild P="dev-lang/pure", so I removed it.

Anyway this project is still alive. Last record in changelog is dated by 2010-10-16. So I hope someone will write the correct ebuild and will put it into gentoo repository (at least masked repository-based version).