Artifact libghc-semirings-dev_0.6-3+b2_arm64

Metadata
deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: arm64
  Depends: libghc-base-compat-batteries-dev-0.13.1-4f013, libghc-base-dev-4.18.2.1-75247,
    libghc-containers-dev-0.6.7-3eda8, libghc-hashable-dev-1.4.4.0-3ee83, libghc-unordered-containers-dev-0.2.19.1-88449,
    libc6 (>= 2.17), libgmp10 (>= 2:6.3.0+dfsg)
  Description: |-
    two monoids as one, in holy haskimony
     Haskellers are usually familiar with monoids and semigroups. A monoid has an
     appending operation `<>` (or `mappend`), and an identity element, `mempty`.
     A semigroup has an appending `<>` operation, but does not require a `mempty`
     element.
     .
     A Semiring has two appending operations, `plus` and `times`, and two
     respective identity elements, `zero` and `one`.
     .
     More formally, a Semiring R is a set equipped with two binary relations `+`
     and `*`, such that:
     .
     (R,+) is a commutative monoid with identity element 0,
     .
     (R,*) is a monoid with identity element 1,
     .
     (*) left and right distributes over addition, and
     .
     multiplication by '0' annihilates R.
     .
     This package provides a library for the Haskell programming language.
     See http://www.haskell.org/ for more information on Haskell.
  Ghc-Package: semirings-0.6-AzplxpT3GoGAZCSmxI3Li3
  Homepage: https://github.com/chessai/semirings
  Installed-Size: '3256'
  Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
  Package: libghc-semirings-dev
  Priority: optional
  Provides: libghc-semirings-dev-0.6-77816
  Section: haskell
  Source: haskell-semirings (0.6-3)
  Version: 0.6-3+b2
srcpkg_name: haskell-semirings
srcpkg_version: 0.6-3

File

libghc-semirings-dev_0.6-3+b2_arm64.deb
Binary file libghc-semirings-dev_0.6-3+b2_arm64.deb cannot be displayed. you can view it raw or download it instead.

Relations

Relation Direction Type Name
built-using Source package haskell-semirings_0.6-3

binary package System mirror sid from https://deb.debian.org/debian - 2 weeks, 1 day ago 0 minutes
BETA