confluence 0.10.6-7build4 source package in Ubuntu
Changelog
confluence (0.10.6-7build4) xenial; urgency=medium * No-change rebuild against ocaml 4.02. -- Łukasz 'sil2100' Zemczak <email address hidden> Mon, 02 Nov 2015 16:09:50 -0500
Upload details
- Uploaded by:
- Łukasz Zemczak
- Uploaded to:
- Xenial
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- electronics
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Xenial | release | universe | electronics |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| confluence_0.10.6.orig.tar.gz | 116.0 KiB | 7ab76a4183dae9f2429df5cb07b0df293c50cd947e3c051a6784561e8d3b3273 |
| confluence_0.10.6-7build4.debian.tar.xz | 6.6 KiB | 7d96bc0f991842c0edf3ee98b2e86316b6c14fdcf2172a58c48b6c91eb89b0e5 |
| confluence_0.10.6-7build4.dsc | 1.8 KiB | afad087b69cf1c42d5953f5e68a5069c7b4f5d766160ebc0ba28e2eb7be66170 |
Available diffs
- diff from 0.10.6-7build3 to 0.10.6-7build4 (339 bytes)
Binary packages built by this source
- confluence: No summary available for confluence in ubuntu yakkety.
No description available for confluence in ubuntu yakkety.
- confluence-dbgsym: debug symbols for package confluence
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.
