dev-lang/cryptol
Cryptol: The Language of Cryptography
Screenshots
View
Download
BrowseChangeLog
commit c1d1ab135e7d4c3de68869388ff96abf77f868e5
Author: hololeap <hololeap@protonmail.com>
Date: Tue Mar 5 19:25:37 2024 -0700
*/*: Switch to EAPI 8
Signed-off-by: hololeap <hololeap@protonmail.com>
commit db98782e890b3cebf75a19b2da3a1bdcbee17fa4
Author: hololeap <hololeap@users.noreply.github.com>
Date: Fri May 12 06:28:08 2023 -0600
*/*: Remove [profile?] from ghc RDEPEND
This reverts commit b2f01bbf1333c88785109bebf75d49a3bd623727.
Adding [profile?] universally causes issues with exe-only packages with
no profile USE flag. This is better handled in the eclass.
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit a2f524e74d7e5e5000c1d057a74dcd7f4af7b43c
Author: hololeap <hololeap@users.noreply.github.com>
Date: Sat May 6 17:04:20 2023 -0600
*/*: Remove ~x86 (and related) from KEYWORDS
x86 is mostly untested, and even building a subset of ::haskell
revealed failing tests which pass on amd64.
With the new behavior of hackport to only add ARCH to KEYWORDS, there
will be CI failures if a package has ~x86 removed but not from its
revdep tree as well. The only sensible mitigation is to remove ~x86
tree-wide until we have a dedicated tester willing to fix current bugs.
See: https://github.com/snoyberg/mono-traversable/issues/210
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit b2f01bbf1333c88785109bebf75d49a3bd623727
Author: hololeap <hololeap@users.noreply.github.com>
Date: Fri May 5 15:53:40 2023 -0600
*/*: Add [profile?] to ghc RDEPEND
Any package that depends on 'base' will require the 'base' profiling
libs when profiling is enabled. Because virtually every package depends
on 'base', it makes sense to add [profile?] universally to
'dev-lang/ghc' in RDEPEND.
Reported-by: Filip Kszczot <filip@kszczot.pl>
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit 9672ee12c9c489f9e5bfdee329a4e6aed692fe4d
Author: Sam James <sam@gentoo.org>
Date: Sat Jul 30 06:55:18 2022 +0100
*/*: fix https->https in metadatd dtd
Newer hackport fixes this (in git, not tagged yet).
Signed-off-by: Sam James <sam@gentoo.org>
commit c35b003d28aef907c9dae8a055d0dcb9b72169f8
Author: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
Date: Tue Feb 16 23:56:16 2021 -0500
dev-lang/cryptol: remove redundant longdescription from metadata
Signed-off-by: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
commit 786b833bc4c242aab39297173a74a8a04ffcbdb6
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Mon Sep 28 09:04:24 2020 +0100
dev-lang/cryptol: drop old
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 3d16013c65cc8986c7537d76ed3a2855e978d057
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Nov 23 15:39:53 2019 +0000
*/*: Inline mirror://hackage and update URIs
Follow ::gentoo commit 2a2e66a9407205f18
("*/*: Inline mirror://hackage and update URIs ")
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 9db710d58dfdb7a0f8e78885e65cc0a3a8e0ed31
Author: Jack Todaro <jackmtodaro@gmail.com>
Date: Sat Sep 22 11:24:16 2018 +1000
dev-lang/cryptol: bump up to 2.6.0
Package-Manager: Portage-2.3.49, Repoman-2.3.10
commit c62d039ace5cdd884cc9c0630e012185417e3931
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Wed Apr 25 10:43:24 2018 +0100
dev-lang/cryptol: allow base-compat-0.10
Package-Manager: Portage-2.3.28, Repoman-2.3.9
commit 2a94f64d40e69b69ddfa1b5da7906d17009e5e6f
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Nov 24 09:25:20 2017 +0000
refresh Manifests
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 1a6ba469382ab24f8b77b4ff3b043b6e2ed68306
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Feb 28 21:38:05 2017 +0000
follow ::gentoo in removing '# $Id$' headers
Done as
$ sed -i */*/*.ebuild -e '/^# \$Id\$$/d'
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit d6e1fb7db310d01f79392c307336cdf8d76aadb3
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sat Aug 27 18:18:24 2016 +0100
dev-lang/cryptol: bump up to 2.4.0
Package-Manager: portage-2.3.0
commit b005c89143727de1fd224390df96e978ba997982
Author: Sergei Trofimovich <siarheit@google.com>
Date: Mon May 9 22:58:17 2016 +0100
dev-lang/cryptol: drop unused IUSE description
Package-Manager: portage-2.2.28
commit 69101f29daef39e9cb2c75a3e9beadd903de8871
Author: Sergei Trofimovich <siarheit@google.com>
Date: Mon May 9 22:57:54 2016 +0100
dev-lang/cryptol: drop old
Package-Manager: portage-2.2.28
commit b112c8bd0c96c4ac748fb4fb1f66b74458ac8ef4
Author: Sergei Trofimovich <siarheit@google.com>
Date: Fri Mar 25 14:32:17 2016 +0000
dev-lang/cryptol: allow deepseq-generics-0.2
Package-Manager: portage-2.2.28
commit f40a9c5e801c14d802545b6fe19fa824dbc89d67
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Feb 14 14:14:07 2016 +0000
dev-lang/cryptol: bump up to 2.3.0
Package-Manager: portage-2.2.27
commit aa19eeb10bc2eb3e09f93fa8a102c322742943e4
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Jan 26 14:19:48 2016 -0500
Update metadata.xml for GLEP 67
commit 5be066ee2c6ba2ac8bc0ae4e259020cc619ec6a4
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Jan 10 12:23:28 2016 +0000
dev-lang/cryptol: bump up to 2.2.6
Package-Manager: portage-2.2.26
commit faf9db580d85492ec0c2432cf9e6d0793669eefc
Author: Sergei Trofimovich <siarheit@google.com>
Date: Tue Nov 17 09:34:52 2015 +0000
dev-lang/cryptol: bump up to 2.2.5
Package-Manager: portage-2.2.24
commit b9c11d9d44644f6a277de1f7af562de56e786675
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Aug 9 10:37:52 2015 +0100
convert '# $Header: ' lines to '# $Id$'
The change was adopted when ::gentoo switched to git.
https://github.com/trofi/gentoo-qa/blob/master/check_header.sh
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit 3d8fd50be49324f670d7b064659a4aeb9b3fa57b
Author: Sergei Trofimovich <siarheit@google.com>
Date: Tue Jul 28 23:25:19 2015 +0100
dev-lang/cryptol: add runtime-only required cvc4 depend
Package-Manager: portage-2.2.20
commit 7930cff400850ad3056e7419db64dc31b2d1c895
Author: Sergei Trofimovich <siarheit@google.com>
Date: Thu Jul 23 17:20:22 2015 +0100
dev-lang/cryptol: document IUSE=relocatable,self-contained.
Package-Manager: portage-2.2.20
commit 9af37211cf7c199ab80a266e902a7b2b70626ddb
Author: Sergei Trofimovich <siarheit@google.com>
Date: Fri Jun 5 21:21:28 2015 +0100
dev-lang/cryptol: bump up to 2.2.4
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit b1858b6f6cfa60d15c6ad44e3e976d8aa7a374f1
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sat May 2 12:08:45 2015 +0100
dev-lang/cryptol: bump up to 2.2.3
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit 73a30ebc5225ea128e39a4eef64a37863c392bdb
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Apr 12 14:06:06 2015 +0100
dev-lang/cryptol: bump up to 2.2.2
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit 28ca4c511d253b4b762a87a0e300014f9f96e029
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Mar 29 20:24:57 2015 +0100
dev-lang/cryptol: bump up to 2.2.1
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit 183163dd7ba13ba374fa69fff37886f7b71df098
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Sep 20 11:24:36 2014 +0100
dev-lang/cryptol: rekeyworded after ghc-7.8 keywords
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit c4fa8261a14df41f8f4e87f677d4f68b96b2407f
Author: Alexander Vershilov <alexander.vershilov@gmail.com>
Date: Tue Aug 5 01:01:54 2014 +0400
dev-lang/cryptol: drop keywords due to ghc-7.8.2
commit 7caba65cd543fbfef1c994cc43a84a5dec653ce7
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Thu Jul 24 18:07:32 2014 +0300
metadata.xml: from <maintainer> field in favour of <herd> one
Mangled by tiny tool:
https://github.com/trofi/gentoo-qa/blob/master/shrink_haskell_metadata.hs
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 3333b4e6afb4d2d1cea6325b4714d2017cf020a5
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri May 2 15:33:14 2014 +0300
dev-lang/cryptol: added a comment about deficiency
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit c6e7b61b34775477cdd3885952b0b244c648481c
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri May 2 15:17:05 2014 +0300
dev-lang/cryptol: workaround build failure on cabal-1.20
For some reason ./configure wasn't called
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit ced5351836e6bc64124ced6b22320bd5ce25899e
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri May 2 15:03:07 2014 +0300
dev-lang/cryptol: new ebuild (a verifier for cryptalgos)
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Author: hololeap <hololeap@protonmail.com>
Date: Tue Mar 5 19:25:37 2024 -0700
*/*: Switch to EAPI 8
Signed-off-by: hololeap <hololeap@protonmail.com>
commit db98782e890b3cebf75a19b2da3a1bdcbee17fa4
Author: hololeap <hololeap@users.noreply.github.com>
Date: Fri May 12 06:28:08 2023 -0600
*/*: Remove [profile?] from ghc RDEPEND
This reverts commit b2f01bbf1333c88785109bebf75d49a3bd623727.
Adding [profile?] universally causes issues with exe-only packages with
no profile USE flag. This is better handled in the eclass.
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit a2f524e74d7e5e5000c1d057a74dcd7f4af7b43c
Author: hololeap <hololeap@users.noreply.github.com>
Date: Sat May 6 17:04:20 2023 -0600
*/*: Remove ~x86 (and related) from KEYWORDS
x86 is mostly untested, and even building a subset of ::haskell
revealed failing tests which pass on amd64.
With the new behavior of hackport to only add ARCH to KEYWORDS, there
will be CI failures if a package has ~x86 removed but not from its
revdep tree as well. The only sensible mitigation is to remove ~x86
tree-wide until we have a dedicated tester willing to fix current bugs.
See: https://github.com/snoyberg/mono-traversable/issues/210
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit b2f01bbf1333c88785109bebf75d49a3bd623727
Author: hololeap <hololeap@users.noreply.github.com>
Date: Fri May 5 15:53:40 2023 -0600
*/*: Add [profile?] to ghc RDEPEND
Any package that depends on 'base' will require the 'base' profiling
libs when profiling is enabled. Because virtually every package depends
on 'base', it makes sense to add [profile?] universally to
'dev-lang/ghc' in RDEPEND.
Reported-by: Filip Kszczot <filip@kszczot.pl>
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit 9672ee12c9c489f9e5bfdee329a4e6aed692fe4d
Author: Sam James <sam@gentoo.org>
Date: Sat Jul 30 06:55:18 2022 +0100
*/*: fix https->https in metadatd dtd
Newer hackport fixes this (in git, not tagged yet).
Signed-off-by: Sam James <sam@gentoo.org>
commit c35b003d28aef907c9dae8a055d0dcb9b72169f8
Author: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
Date: Tue Feb 16 23:56:16 2021 -0500
dev-lang/cryptol: remove redundant longdescription from metadata
Signed-off-by: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
commit 786b833bc4c242aab39297173a74a8a04ffcbdb6
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Mon Sep 28 09:04:24 2020 +0100
dev-lang/cryptol: drop old
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 3d16013c65cc8986c7537d76ed3a2855e978d057
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Nov 23 15:39:53 2019 +0000
*/*: Inline mirror://hackage and update URIs
Follow ::gentoo commit 2a2e66a9407205f18
("*/*: Inline mirror://hackage and update URIs ")
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 9db710d58dfdb7a0f8e78885e65cc0a3a8e0ed31
Author: Jack Todaro <jackmtodaro@gmail.com>
Date: Sat Sep 22 11:24:16 2018 +1000
dev-lang/cryptol: bump up to 2.6.0
Package-Manager: Portage-2.3.49, Repoman-2.3.10
commit c62d039ace5cdd884cc9c0630e012185417e3931
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Wed Apr 25 10:43:24 2018 +0100
dev-lang/cryptol: allow base-compat-0.10
Package-Manager: Portage-2.3.28, Repoman-2.3.9
commit 2a94f64d40e69b69ddfa1b5da7906d17009e5e6f
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Nov 24 09:25:20 2017 +0000
refresh Manifests
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 1a6ba469382ab24f8b77b4ff3b043b6e2ed68306
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Feb 28 21:38:05 2017 +0000
follow ::gentoo in removing '# $Id$' headers
Done as
$ sed -i */*/*.ebuild -e '/^# \$Id\$$/d'
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit d6e1fb7db310d01f79392c307336cdf8d76aadb3
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sat Aug 27 18:18:24 2016 +0100
dev-lang/cryptol: bump up to 2.4.0
Package-Manager: portage-2.3.0
commit b005c89143727de1fd224390df96e978ba997982
Author: Sergei Trofimovich <siarheit@google.com>
Date: Mon May 9 22:58:17 2016 +0100
dev-lang/cryptol: drop unused IUSE description
Package-Manager: portage-2.2.28
commit 69101f29daef39e9cb2c75a3e9beadd903de8871
Author: Sergei Trofimovich <siarheit@google.com>
Date: Mon May 9 22:57:54 2016 +0100
dev-lang/cryptol: drop old
Package-Manager: portage-2.2.28
commit b112c8bd0c96c4ac748fb4fb1f66b74458ac8ef4
Author: Sergei Trofimovich <siarheit@google.com>
Date: Fri Mar 25 14:32:17 2016 +0000
dev-lang/cryptol: allow deepseq-generics-0.2
Package-Manager: portage-2.2.28
commit f40a9c5e801c14d802545b6fe19fa824dbc89d67
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Feb 14 14:14:07 2016 +0000
dev-lang/cryptol: bump up to 2.3.0
Package-Manager: portage-2.2.27
commit aa19eeb10bc2eb3e09f93fa8a102c322742943e4
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Jan 26 14:19:48 2016 -0500
Update metadata.xml for GLEP 67
commit 5be066ee2c6ba2ac8bc0ae4e259020cc619ec6a4
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Jan 10 12:23:28 2016 +0000
dev-lang/cryptol: bump up to 2.2.6
Package-Manager: portage-2.2.26
commit faf9db580d85492ec0c2432cf9e6d0793669eefc
Author: Sergei Trofimovich <siarheit@google.com>
Date: Tue Nov 17 09:34:52 2015 +0000
dev-lang/cryptol: bump up to 2.2.5
Package-Manager: portage-2.2.24
commit b9c11d9d44644f6a277de1f7af562de56e786675
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Aug 9 10:37:52 2015 +0100
convert '# $Header: ' lines to '# $Id$'
The change was adopted when ::gentoo switched to git.
https://github.com/trofi/gentoo-qa/blob/master/check_header.sh
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit 3d8fd50be49324f670d7b064659a4aeb9b3fa57b
Author: Sergei Trofimovich <siarheit@google.com>
Date: Tue Jul 28 23:25:19 2015 +0100
dev-lang/cryptol: add runtime-only required cvc4 depend
Package-Manager: portage-2.2.20
commit 7930cff400850ad3056e7419db64dc31b2d1c895
Author: Sergei Trofimovich <siarheit@google.com>
Date: Thu Jul 23 17:20:22 2015 +0100
dev-lang/cryptol: document IUSE=relocatable,self-contained.
Package-Manager: portage-2.2.20
commit 9af37211cf7c199ab80a266e902a7b2b70626ddb
Author: Sergei Trofimovich <siarheit@google.com>
Date: Fri Jun 5 21:21:28 2015 +0100
dev-lang/cryptol: bump up to 2.2.4
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit b1858b6f6cfa60d15c6ad44e3e976d8aa7a374f1
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sat May 2 12:08:45 2015 +0100
dev-lang/cryptol: bump up to 2.2.3
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit 73a30ebc5225ea128e39a4eef64a37863c392bdb
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Apr 12 14:06:06 2015 +0100
dev-lang/cryptol: bump up to 2.2.2
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit 28ca4c511d253b4b762a87a0e300014f9f96e029
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Mar 29 20:24:57 2015 +0100
dev-lang/cryptol: bump up to 2.2.1
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit 183163dd7ba13ba374fa69fff37886f7b71df098
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Sep 20 11:24:36 2014 +0100
dev-lang/cryptol: rekeyworded after ghc-7.8 keywords
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit c4fa8261a14df41f8f4e87f677d4f68b96b2407f
Author: Alexander Vershilov <alexander.vershilov@gmail.com>
Date: Tue Aug 5 01:01:54 2014 +0400
dev-lang/cryptol: drop keywords due to ghc-7.8.2
commit 7caba65cd543fbfef1c994cc43a84a5dec653ce7
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Thu Jul 24 18:07:32 2014 +0300
metadata.xml: from <maintainer> field in favour of <herd> one
Mangled by tiny tool:
https://github.com/trofi/gentoo-qa/blob/master/shrink_haskell_metadata.hs
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 3333b4e6afb4d2d1cea6325b4714d2017cf020a5
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri May 2 15:33:14 2014 +0300
dev-lang/cryptol: added a comment about deficiency
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit c6e7b61b34775477cdd3885952b0b244c648481c
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri May 2 15:17:05 2014 +0300
dev-lang/cryptol: workaround build failure on cabal-1.20
For some reason ./configure wasn't called
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit ced5351836e6bc64124ced6b22320bd5ce25899e
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri May 2 15:03:07 2014 +0300
dev-lang/cryptol: new ebuild (a verifier for cryptalgos)
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>