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
3.0.0-1
maint
Debian Haskell Group
(
a
)
,
Clint Adams
(u)
arch
any all
std-ver
4.6.2
VCS
Git
(
browse
)
versions
o-o-stable
2.6.0-3
oldstable
2.8.0-1
unstable
3.0.0-1
Ubuntu
3.0.0-1build2
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
5 errors and 2 warnings
about this package. You should make the package
lintian clean
getting rid of them.
Build log checks
report
2 warnings
about this package.
The package should be updated to follow the last version of
Debian Policy
(Standards-Version
4.7.0
instead of
4.6.2
).
A new upstream version is available:
3.1.0
, you should consider packaging it.
This package has "Build-Depends: cdbs" while
cdbs
needs a new maintainer, see
O #1026085
.
news
RSS
[2023-10-24]
Accepted 3.0.0-1 in unstable (medium)
(Debian FTP Masters)
[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
0
RC
0
I&N
0
M&W
0
F&P
0
links
homepage
changelog
/
copyright
buildd:
logs
,
checks
,
clang
debcheck:
unstable
lintian
(
5
,
2
)
popcon
debtags
screenshots:
1
,
2
RDF meta-data
browse source code
patches
Debian
2.8.0-1
3.0.0-1