confluence 0.10.6-7build2 source package in Ubuntu


confluence (0.10.6-7build2) oneiric; urgency=low

  * Rebuild to pick up armel ocaml fixes.
 -- Adam Conrad <email address hidden>   Fri, 19 Aug 2011 13:09:15 -0600

Upload details

Uploaded by:
Adam Conrad on 2011-08-19
Uploaded to:
Original maintainer:
Debian OCaml Maintainers
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Precise release on 2011-10-13 universe electronics


File Size SHA-256 Checksum
confluence_0.10.6.orig.tar.gz 116.0 KiB 7ab76a4183dae9f2429df5cb07b0df293c50cd947e3c051a6784561e8d3b3273
confluence_0.10.6-7build2.debian.tar.gz 7.0 KiB c0685da89422d022637c832c89f6eaf9dbd998f85863c05972d91325779ecc74
confluence_0.10.6-7build2.dsc 1.5 KiB 6b5aeb763cdb6a4ec023a7867f123336f127e716046c6552589b817fb1877bef

Available diffs

View changes file

Binary packages built by this source

confluence: language for synchronous reactive hardware system design

 From the upstream website:
 A Confluence program can generate digital logic for an FPGA or ASIC
 platform, or C code for hard real-time software.
 Confluence combines the component-based methodologies of Verilog and
 VHDL with the expressiveness of higher order functional programming.
 In comparison to Verilog, VHDL, and C, systems designed in Confluence
 result in 2X to 10X code reduction, making the source easier to manage
 and reuse. And because Confluence relies on a correct-by-construction
 compiler, bugs are reduced--some are prevented altogether--thus
 reducing the overall verification effort.