haskell-ghc-typelits-knownnat-0.6-29-x86_64.pkg.tar.xz


Advertisement

Description

haskell-ghc-typelits-knownnat - Derive KnownNat constraints from other KnownNat constraints

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package filename haskell-ghc-typelits-knownnat-0.6-29-x86_64.pkg.tar.xz
Package name haskell-ghc-typelits-knownnat
Package version 0.6
Package release 29
Package architecture x86_64
Package type xz
Homepage https://github.com/clash-lang/ghc-typelits-knownnat
License custom:BSD2
Maintainer Felix Yan <felixonmars@archlinux.org>
Download size 35.01 KB
Installed size 157.00 KB

Alternatives

Package Version Architecture Repository
haskell-ghc-typelits-knownnat - - -

Requires

Name Value
ghc-libs -
haskell-ghc -
haskell-ghc-tcplugins-extra -
haskell-ghc-typelits-natnormalise -

Download

Type URL
Mirror ftp5.gwdg.de
Binary Package haskell-ghc-typelits-knownnat-0.6-29-x86_64.pkg.tar.xz
Source Package haskell-ghc-typelits-knownnat

Install Howto

  1. Enable the community repository on /etc/pacman.conf:
    
    [community]
    Include = /etc/pacman.d/mirrorlist
    
  2. Install haskell-ghc-typelits-knownnat xz package:
    # pacman -Sy haskell-ghc-typelits-knownnat

Files

Path
/usr/
/usr/lib/libHSghc-typelits-knownnat-0.6-4wBIkexbrqh56UyjG72zGF-ghc8.6.5.so
/usr/lib/ghc-8.6.5/
/usr/lib/ghc-8.6.5/site-local/
/usr/lib/ghc-8.6.5/site-local/ghc-typelits-knownnat-0.6/
/usr/lib/ghc-8.6.5/site-local/ghc-typelits-knownnat-0.6/GHC/
/usr/lib/ghc-8.6.5/site-local/ghc-typelits-knownnat-0.6/GHC/TypeLits/KnownNat.dyn_hi
/usr/lib/ghc-8.6.5/site-local/ghc-typelits-knownnat-0.6/GHC/TypeLits/KnownNat/Solver.dyn_hi
/usr/lib/ghc-8.6.5/site-local/ghc-typelits-knownnat-0.6/GHC/TypeLits/KnownNat/TH.dyn_hi
/usr/share/
/usr/share/doc/
/usr/share/doc/haskell-ghc-typelits-knownnat/
/usr/share/haskell/
/usr/share/haskell/register/haskell-ghc-typelits-knownnat.sh
/usr/share/haskell/unregister/haskell-ghc-typelits-knownnat.sh
/usr/share/licenses/
/usr/share/licenses/haskell-ghc-typelits-knownnat/LICENSE

See Also

Package Description
haskell-ghc-typelits-natnormalise-0.6.2-28-x86_64.pkg.tar.xz GHC typechecker plugin for types of kind GHC.TypeLits.Nat
haskell-githash-0.1.3.2-11-x86_64.pkg.tar.xz Some handy Template Haskell splices for including the current git hash and branch in the code of your project
haskell-gitrev-1.3.1-14-x86_64.pkg.tar.xz Compile git revision info into Haskell projects
haskell-glib-0.13.7.0-30-x86_64.pkg.tar.xz Binding to the GLIB library for Gtk2Hs
haskell-glob-0.10.0-21-x86_64.pkg.tar.xz Globbing library
haskell-gnuidn-0.2.2-124-x86_64.pkg.tar.xz Bindings for GNU IDN
haskell-gnutls-0.2-14-x86_64.pkg.tar.xz Bindings for GNU libgnutls
haskell-graphscc-1.0.4-14-x86_64.pkg.tar.xz Tarjan's algorithm for computing the strongly connected components of a graph
haskell-graphviz-2999.20.0.3-25-x86_64.pkg.tar.xz Bindings to Graphviz for graph visualisation
haskell-gsasl-0.3.6-13-x86_64.pkg.tar.xz Bindings for GNU libgsasl
haskell-gtk-0.15.1-32-x86_64.pkg.tar.xz Binding to the gtk library for Gtk2Hs
haskell-gtk2hs-buildtools-0.13.5.0-30-x86_64.pkg.tar.xz Tools to build the Gtk2Hs suite of User Interface libraries
haskell-hackage-security-0.5.3.0-61-x86_64.pkg.tar.xz Hackage security library
haskell-haddock-library-1.7.0-69-x86_64.pkg.tar.xz A documentation-generation tool for Haskell libraries
haskell-hakyll-4.12.5.2-103-x86_64.pkg.tar.xz A static website compiler library
Advertisement
Advertisement