Пакунок: libghc-dec-dev (0.0.6-1)

[ Source: haskell-dec  ]

decidable propositions

This package provides a Dec type for decidable (nullary) relations.

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Інші пакунки пов'язані з libghc-dec-dev

• dep: libc6 (>= 2.27)

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

• dep: libghc-base-dev-4.18.2.1-b5217

  virtual package provided by ghc

• dep: libghc-boring-dev-0.2.2-d8b09

  virtual package provided by libghc-boring-dev

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Арифметична бібліотека багатоточності

Завантажити libghc-dec-dev

Завантаження для всіх доступних архітектур

Архітектура	Розмір пакунка	Розмір після встановлення	Файли
riscv64	24.8 kB	170.0 kB	[список файлів]