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
Component:
universe
Architectures:
any
Section:
electronics
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
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 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.