Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 56447 - confluence-0.9.1_rc1.ebuild (New Package)
Summary: confluence-0.9.1_rc1.ebuild (New Package)
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All All
: High enhancement (vote)
Assignee: Gentoo Team for the ML programming language family
URL: http://www.confluent.org/
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2004-07-08 05:45 UTC by Tom Hawkins
Modified: 2004-08-09 04:19 UTC (History)
1 user (show)

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


Attachments
confluence-0.9.1_rc1.ebuild (New Package) (confluence-0.9.1_rc1.ebuild,671 bytes, text/plain)
2004-07-08 05:47 UTC, Tom Hawkins
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Tom Hawkins 2004-07-08 05:45:13 UTC
Hello,

Here is a new package for Confluence: a functional programming language for reactive system design including digital logic (IC/ASIC/FPGA) and hard real-time software.  From a high level description, Confluence compiles down to Verilog, VHDL, and C.  It also has links to open-source formal verification tools.

I would recommend dev-lang/confluence.

Confluence depends on Objective Caml (dev-lang/ocaml).

Thanks!

-Tom
Comment 1 Tom Hawkins 2004-07-08 05:47:40 UTC
Created attachment 34998 [details]
confluence-0.9.1_rc1.ebuild (New Package)
Comment 2 Matthieu Sozeau (RETIRED) gentoo-dev 2004-08-09 04:19:56 UTC
I commited 0.9.1 to CVS, thanks for the ebuild.