Пакунок: confluence (0.10.6-6 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)

External Resources:

Homepage [www.confluent.org]

Similar packages:

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.

Tags: Software Development: Compiler, C Development, Machine Code, Field: Електроніка, Implemented in: OCaml, User Interface: Command Line, : qa::rfa, Role: Program, Scope: Utility, Works with: Source Code

Інші пакунки пов'язані з confluence

depends

recommends

suggests

dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]

Бібліотека GNU C: спільні бібліотеки
also a virtual package provided by libc0.1-udeb
dep: libc0.3 (>= 2.9) [hurd-i386]

Бібліотека GNU C: спільні бібліотеки
also a virtual package provided by libc0.3-udeb
dep: libc6 (>= 2.3) [amd64, i386]

Бібліотека GNU C: спільні бібліотеки
also a virtual package provided by libc6-udeb

dep: libc6 (>= 2.4) [powerpc]

dep: libc6 (>= 2.6) [sparc]
dep: ocaml-base-nox-3.11.0 [m68k]

Пакунок недоступний
dep: ocaml-base-nox-3.11.1 [alpha, armel, avr32, hppa, ia64, mips, mipsel, s390]

virtual package provided by ocaml-base-nox

Завантажити confluence

Завантаження для всіх доступних архітектур
Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
alpha	0.10.6-6+b1	239.2 kB	2880 kB	[список файлів]
amd64	0.10.6-6	547.4 kB	3592 kB	[список файлів]
armel	0.10.6-6+b1	234.0 kB	2880 kB	[список файлів]
avr32 (unofficial port)	0.10.6-6	234.0 kB	2880 kB	[список файлів]
hppa	0.10.6-6+b1	238.7 kB	2880 kB	[список файлів]
hurd-i386	0.10.6-6	462.4 kB	3236 kB	[список файлів]
i386	0.10.6-6	466.9 kB	3236 kB	[список файлів]
ia64	0.10.6-6+b1	233.9 kB	2880 kB	[список файлів]
kfreebsd-amd64	0.10.6-6+b1	543.6 kB	3462 kB	[список файлів]
kfreebsd-i386	0.10.6-6	462.7 kB	3110 kB	[список файлів]
m68k (unofficial port)	0.10.6-6	237.7 kB	2880 kB	[список файлів]
mips	0.10.6-6+b1	233.9 kB	2880 kB	[список файлів]
mipsel	0.10.6-6+b1	233.9 kB	2880 kB	[список файлів]
powerpc	0.10.6-6	513.7 kB	3360 kB	[список файлів]
s390	0.10.6-6+b1	233.9 kB	2880 kB	[список файлів]
sparc	0.10.6-6	509.8 kB	3348 kB	[список файлів]