haskell-cryptol
source package
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/haskell-cryptol
general
source
haskell-cryptol
(
optional
,
misc
)
version
2.8.0-1
maint
Debian Haskell Group
(
a
)
,
Clint Adams
(u)
arch
any all
std-ver
4.1.4
VCS
Git
(
browse
)
versions
o-o-stable
2.6.0-3
oldstable
2.8.0-1
unstable
2.8.0-1
binaries
cryptol
(
0 bugs
:
0
,
0
,
0
,
0
)
domain-specific language of cryptography
libghc-cryptol-dev
(
0 bugs
:
0
,
0
,
0
,
0
)
domain-specific language of cryptography
libghc-cryptol-doc
(
0 bugs
:
0
,
0
,
0
,
0
)
domain-specific language of cryptography; documentation
libghc-cryptol-prof
(
0 bugs
:
0
,
0
,
0
,
0
)
domain-specific language of cryptography; profiling libraries
todo
Lintian
reports
124 warnings
about this package. You should make the package
lintian clean
getting rid of them.
The package should be updated to follow the last version of
Debian Policy
(Standards-Version
4.6.2
instead of
4.1.4
).
A new upstream version is available:
3.0.0
, you should consider packaging it.
This package has "Build-Depends: cdbs" while
cdbs
needs a new maintainer, see
O #1026085
.
problems
Piuparts
found an
(un)installation error
in the
Sid
version of this package. You should investigate the cause; have a look at the
corresponding
piuparts log
.
news
RSS
[2022-08-30]
haskell-cryptol REMOVED from testing
(Britney)
[2020-08-12]
haskell-cryptol 2.8.0-1 MIGRATED to testing
(Britney)
[2020-08-10]
haskell-cryptol REMOVED from testing
(Britney)
[2020-07-11]
Accepted 2.8.0-1 in unstable (medium)
(Debian FTP Masters)
[2019-11-03]
haskell-cryptol 2.6.0-4 MIGRATED to testing
(Britney)
[2019-08-30]
Accepted 2.6.0-4 in unstable (medium)
(Gianfranco Costamagna)
[2018-11-28]
haskell-cryptol 2.6.0-3 MIGRATED to testing
(Britney)
[2018-11-10]
Accepted 2.6.0-3 in unstable (medium)
(Clint Adams)
[2018-10-01]
Accepted 2.6.0-2 in unstable (medium)
(Ilias Tsitsimpis)
[2018-09-29]
Accepted 2.6.0-1 in unstable (medium)
(Ilias Tsitsimpis)
[2018-07-03]
haskell-cryptol 2.5.0-1 MIGRATED to testing
(Britney)
[2018-04-10]
Accepted 2.5.0-1 in unstable (medium)
(Clint Adams)
[2018-04-10]
Accepted 2.4.0-4 in unstable (medium)
(Clint Adams)
[2017-11-22]
haskell-cryptol 2.4.0-3 MIGRATED to testing
(Britney)
[2017-11-10]
Accepted 2.4.0-3 in unstable (medium)
(Ilias Tsitsimpis)
[2017-10-25]
haskell-cryptol 2.4.0-2 MIGRATED to testing
(Britney)
[2017-10-24]
haskell-cryptol REMOVED from testing
(Britney)
[2016-11-28]
haskell-cryptol 2.4.0-2 MIGRATED to testing
(Britney)
[2016-11-28]
haskell-cryptol 2.4.0-2 MIGRATED to testing
(Britney)
[2016-10-28]
Accepted 2.4.0-2 in unstable (medium)
(Clint Adams)
[2016-10-17]
Accepted 2.4.0-1 in experimental (medium)
(Clint Adams)
[2016-07-26]
haskell-cryptol 2.3.0-1 MIGRATED to testing
(Britney)
[2016-06-30]
haskell-cryptol REMOVED from testing
(Britney)
[2016-06-01]
Accepted 2.3.0-1 in unstable (medium)
(Joachim Breitner)
[2016-01-04]
haskell-cryptol 2.2.6-1 MIGRATED to testing
(Britney)
[2015-12-29]
Accepted 2.2.6-1 in unstable (medium)
(Clint Adams)
bugs
all
1
RC
1
I&N
0
M&W
0
F&P
0
links
homepage
changelog
/
copyright
buildd:
logs
,
clang
piuparts
debcheck:
unstable
lintian
(
0
,
124
)
popcon
debtags
screenshots:
1
,
2
RDF meta-data
browse source code
patches
Debian
2.8.0-1
2.8.0-1