confluence 0.10.6-7build3 source package in Ubuntu


confluence (0.10.6-7build3) trusty; urgency=medium

  * Rebuild for ocaml-4.01.
 -- Matthias Klose <email address hidden>   Mon, 23 Dec 2013 12:10:23 +0000

Upload details

Uploaded by:
Matthias Klose on 2013-12-23
Uploaded to:
Original maintainer:
Debian OCaml Maintainers
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Wily release on 2015-05-04 universe electronics
Vivid release on 2014-10-23 universe electronics
Utopic release on 2014-04-23 universe electronics
Trusty release on 2013-12-24 universe electronics


File Size MD5 Checksum
confluence_0.10.6.orig.tar.gz 116.0 KiB 5cd7420e78f0258ea33ccbb328ea67ee
confluence_0.10.6-7build3.debian.tar.gz 6.9 KiB 3c564d2b9f19ccf20208a83bec5b82ed
confluence_0.10.6-7build3.dsc 1.5 KiB bf91b7df32e597c3f8bdfbbb1642f842

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.