Package: confluence (0.10.6-5 and others)

Links for confluence

Debian Resources:

Download Source Package confluence:

Maintainers:

Debian OCaml Maintainers (QA Page, Mail Archive)
Ralf Treinen (QA Page)
Remi Vanicat (QA Page)
Stefano Zacchiroli (QA Page)
Samuel Mimram (QA Page)
Sylvain Le Gall (QA Page)
Mike Furr (QA Page)
Julien Cristau (QA Page)

Similar packages:

language for synchronous reactive hardware system design

From the upstream website <http://www.confluent.org>:

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.

Tags: Software Development: Compiler, C Development, Machine Code, Field: Electronics, Implemented in: OCaml, User Interface: Command Line, Role: Program, Scope: Utility, Works with: Source Code

Other Packages Related to confluence

depends

recommends

suggests

dep: libc0.1 (>= 2.7-1) [kfreebsd-i386]

GNU C Library: Shared libraries
also a virtual package provided by libc0.1-udeb
dep: libc0.3 (>= 2.6.1-1) [hurd-i386]

GNU C Library: Shared libraries
also a virtual package provided by libc0.3-udeb
dep: libc6 (>= 2.7-1) [amd64, i386, powerpc, sparc]

GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
dep: ocaml-base-nox-3.10.0 [kfreebsd-amd64]

Package not available
dep: ocaml-base-nox-3.10.1 [not amd64, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

virtual package provided by ocaml-base-nox

Download confluence

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
alpha	0.10.6-5+b1	231.5 kB	2828 kB	[list of files]
amd64	0.10.6-5+b1	481.4 kB	3376 kB	[list of files]
arm	0.10.6-5+b1	226.9 kB	2828 kB	[list of files]
armel	0.10.6-5+b1	228.9 kB	2828 kB	[list of files]
hppa	0.10.6-5+b1	226.9 kB	2828 kB	[list of files]
hurd-i386	0.10.6-5	439.9 kB	3168 kB	[list of files]
i386	0.10.6-5+b1	437.1 kB	3068 kB	[list of files]
ia64	0.10.6-5+b1	226.8 kB	2828 kB	[list of files]
kfreebsd-amd64 (unofficial port)	0.10.6-5	227.5 kB	2692 kB	[list of files]
kfreebsd-i386 (unofficial port)	0.10.6-5+b1	436.1 kB	3028 kB	[list of files]
m68k	0.10.6-5+b1	227.0 kB	2828 kB	[list of files]
mips	0.10.6-5+b1	231.4 kB	2828 kB	[list of files]
mipsel	0.10.6-5+b1	226.9 kB	2828 kB	[list of files]
powerpc	0.10.6-5+b1	487.7 kB	3280 kB	[list of files]
s390	0.10.6-5+b1	226.8 kB	2828 kB	[list of files]
sparc	0.10.6-5+b1	481.1 kB	3272 kB	[list of files]