confluence 0.10.6-7build3 source package in Ubuntu

Changelog

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:
Trusty
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
electronics
Urgency:
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

Downloads

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.