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 | 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
- 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.
