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 | 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
- diff from 0.10.6-7build2 to 0.10.6-7build3 (335 bytes)
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.
