libghc-numtype-dk-dev binary package in Ubuntu Lunar riscv64
This package provides type level representations of the
(positive and negative) integers and basic operations (addition,
subtraction, multiplication, division, exponentiation) on these.
The numtype-dk package differs from the numtype package in that
the NumTypes are implemented using Data Kinds, TypeNats, and
Closed Type Families rather than Functional Dependencies.
.
This package provides a library for the Haskell programming language.
See http://
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2022-12-28 04:09:00 UTC | Published | Ubuntu Lunar riscv64 | release | universe | haskell | Extra | 0.5.0.3-1build2 | ||
|
|||||||||
Deleted | Ubuntu Lunar riscv64 | proposed | universe | haskell | Extra | 0.5.0.3-1build2 | |||
|
|||||||||
2022-12-09 17:56:32 UTC | Superseded | Ubuntu Lunar riscv64 | proposed | universe | haskell | Extra | 0.5.0.3-1build1 | ||
|
|||||||||
2022-12-28 04:21:16 UTC | Superseded | Ubuntu Lunar riscv64 | release | universe | haskell | Extra | 0.5.0.3-1 | ||
|