libghc-dependent-sum-dev_0.4-3+b3_i386.deb


Advertisement

Description

libghc-dependent-sum-dev - Dependent sum type

Property Value
Distribution Debian Sid
Repository Debian Main i386
Package filename libghc-dependent-sum-dev_0.4-3+b3_i386.deb
Package name libghc-dependent-sum-dev
Package version 0.4
Package release 3+b3
Package architecture i386
Package type deb
Category haskell
Homepage https://github.com/mokus0/dependent-sum
License -
Maintainer Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Download size 51.38 KB
Installed size 418.00 KB

Alternatives

Package Version Architecture Repository
libghc-dependent-sum-dev_0.4-3+b3_amd64.deb 0.4 amd64 Debian Main
libghc-dependent-sum-dev - - -

Requires

Name Value
libatomic1 >= 4.8
libc6 >= 2.1.3
libghc-base-dev-4.12.0.0-701e2 -
libgmp10 -

Provides

Name Value
libghc-dependent-sum-dev-0.4-400b9 -

Download

Type URL
Mirror ftp.br.debian.org
Binary Package libghc-dependent-sum-dev_0.4-3+b3_i386.deb
Source Package haskell-dependent-sum

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libghc-dependent-sum-dev deb package:
    # sudo apt-get install libghc-dependent-sum-dev

Files

Path
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.6.5/libHSdependent-sum-0.4-DC6FPbMlBM3GVVz1DTobQQ-ghc8.6.5.so
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.6.5/dependent-sum-0.4-DC6FPbMlBM3GVVz1DTobQQ/libHSdependent-sum-0.4-DC6FPbMlBM3GVVz1DTobQQ.a
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.6.5/dependent-sum-0.4-DC6FPbMlBM3GVVz1DTobQQ/Data/Some.dyn_hi
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.6.5/dependent-sum-0.4-DC6FPbMlBM3GVVz1DTobQQ/Data/Some.hi
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.6.5/dependent-sum-0.4-DC6FPbMlBM3GVVz1DTobQQ/Data/Dependent/Sum.dyn_hi
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.6.5/dependent-sum-0.4-DC6FPbMlBM3GVVz1DTobQQ/Data/Dependent/Sum.hi
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.6.5/dependent-sum-0.4-DC6FPbMlBM3GVVz1DTobQQ/Data/GADT/Compare.dyn_hi
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.6.5/dependent-sum-0.4-DC6FPbMlBM3GVVz1DTobQQ/Data/GADT/Compare.hi
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.6.5/dependent-sum-0.4-DC6FPbMlBM3GVVz1DTobQQ/Data/GADT/Show.dyn_hi
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.6.5/dependent-sum-0.4-DC6FPbMlBM3GVVz1DTobQQ/Data/GADT/Show.hi
/usr/share/doc/libghc-dependent-sum-dev/buildinfo_i386.gz
/usr/share/doc/libghc-dependent-sum-dev/changelog.Debian.gz
/usr/share/doc/libghc-dependent-sum-dev/changelog.Debian.i386.gz
/usr/share/doc/libghc-dependent-sum-dev/copyright
/usr/share/lintian/overrides/libghc-dependent-sum-dev
/var/lib/ghc/package.conf.d/dependent-sum-0.4.conf

Changelog

2018-09-30 - Ilias Tsitsimpis <iliastsi@debian.org>
haskell-dependent-sum (0.4-3) unstable; urgency=medium
[ Clint Adams ]
* Set Rules-Requires-Root to no.
[ Ilias Tsitsimpis ]
* Bump debhelper compat level to 10
2018-04-09 - Clint Adams <clint@debian.org>
haskell-dependent-sum (0.4-2) unstable; urgency=medium
[ Ilias Tsitsimpis ]
* Change Priority to optional. Since Debian Policy version 4.0.1,
priority extra has been deprecated.
* Use the HTTPS form of the copyright-format URL
* Modify d/watch and Source field in d/copyright to use HTTPS
* Declare compliance with Debian policy 4.1.1
* Use salsa.debian.org URLs in Vcs-{Browser,Git} fields
[ Clint Adams ]
* Bump to Standards-Version 4.1.4.
2017-07-06 - Clint Adams <clint@debian.org>
haskell-dependent-sum (0.4-1) unstable; urgency=medium
* New upstream release
2017-01-24 - Gianfranco Costamagna <locutusofborg@debian.org>
haskell-dependent-sum (0.3.2.2-4) unstable; urgency=medium
* Team upload
* Fix build with patch from Ilias Tsitsimpis
2016-10-27 - Clint Adams <clint@debian.org>
haskell-dependent-sum (0.3.2.2-3) unstable; urgency=medium
* Upload to unstable as part of GHC 8 transition.
2016-10-13 - Clint Adams <clint@debian.org>
haskell-dependent-sum (0.3.2.2-2) experimental; urgency=medium
* Temporarily build-depend on ghc 8.
2016-05-29 - Joachim Breitner <nomeata@debian.org>
haskell-dependent-sum (0.3.2.2-1) unstable; urgency=medium
[ Dmitry Bogatov ]
* Use secure (https) uri in Vcs-Git field in 'debian/control'
* Bump standards version to 3.9.8 (no changes needed)
[ Joachim Breitner ]
* New upstream release
2016-03-13 - Clint Adams <clint@debian.org>
haskell-dependent-sum (0.3.2.1-1) unstable; urgency=medium
* New upstream release
2015-12-03 - Clint Adams <clint@debian.org>
haskell-dependent-sum (0.2.1.0-5) unstable; urgency=medium
* Switch Vcs-Git/Vcs-Browser headers to new location.
2015-08-20 - Joachim Breitner <nomeata@debian.org>
haskell-dependent-sum (0.2.1.0-4) experimental; urgency=medium
* Bump standards-version to 3.9.6
* Depend on haskell-devscripts >= 0.10 to ensure that this package
builds against GHC in experimental

See Also

Package Description
libghc-dependent-sum-doc_0.4-3_all.deb Dependent sum type; documentation
libghc-dependent-sum-prof_0.4-3+b3_i386.deb Dependent sum type; profiling libraries
libghc-dependent-sum-template-dev_0.0.0.6-3+b3_i386.deb Automatically generate instances of classes in dependent-sum package
libghc-dependent-sum-template-doc_0.0.0.6-3_all.deb Automatically generate instances of classes in dependent-sum package; documentation
libghc-dependent-sum-template-prof_0.0.0.6-3+b3_i386.deb Automatically generate instances of classes in dependent-sum package; profiling libraries
libghc-derive-dev_2.6.5-1_i386.deb Deriving instances for data types in Haskell
libghc-derive-doc_2.6.5-1_all.deb Deriving instances for data types in Haskell; documentation
libghc-derive-prof_2.6.5-1_i386.deb Deriving instances for data types in Haskell; profiling libraries
libghc-deriving-compat-dev_0.5.6-1_i386.deb backports of GHC deriving extensions
libghc-deriving-compat-doc_0.5.6-1_all.deb backports of GHC deriving extensions; documentation
libghc-deriving-compat-prof_0.5.6-1_i386.deb backports of GHC deriving extensions; profiling libraries
libghc-descriptive-dev_0.9.5-2+b3_i386.deb Self-describing consumers/parsers; forms, cmd-line args, JSON, etc
libghc-descriptive-doc_0.9.5-2_all.deb Self-describing consumers/parsers; forms, cmd-line args, JSON, etc.; documentation
libghc-descriptive-prof_0.9.5-2+b3_i386.deb Self-describing consumers/parsers; forms, cmd-line args, JSON, etc.; profiling libraries
libghc-diagrams-cairo-dev_1.4.1-4_i386.deb Cairo backend for the diagrams drawing EDSL
Advertisement
Advertisement