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 SHA-256 Checksum
confluence_0.10.6.orig.tar.gz 116.0 KiB 7ab76a4183dae9f2429df5cb07b0df293c50cd947e3c051a6784561e8d3b3273
confluence_0.10.6-7build3.debian.tar.gz 6.9 KiB 41c27d40b36c1ce71309a6fe73c0dbd3f30e6d8385a420db44eca6914e7e3ee3
confluence_0.10.6-7build3.dsc 1.5 KiB 167a41d9334f75a5acf146530d714fb06414a0b322cee960dc80e55f200aa9e2

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.