dev-haskell/sbvplugin
Formally prove properties of Haskell programs using SBV/SMT
ChangeLog
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 73e039b2995dcb9df1249361cb4446630fe3dc62
Author: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
Date: Sat Feb 27 08:19:45 2021 -0500
dev-haskell/sbvplugin: resolve MissingUseDepDefault QA warning
Signed-off-by: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
commit 6f33d28a025045c08b92f4e31e619350c4c45a99
Author: Jack Todaro <solpeth@posteo.org>
Date: Sun Sep 6 10:22:24 2020 +1000
dev-haskell/sbvplugin: remove old
Package-Manager: Portage-3.0.5, Repoman-3.0.1
Signed-off-by: Jack Todaro <solpeth@posteo.org>
commit c3518138da7af709a5a515f44bab4bfeb91a1520
Author: Jack Todaro <solpeth@posteo.org>
Date: Sun Sep 6 10:14:46 2020 +1000
dev-haskell/sbvplugin: bump up to 0.12
Package-Manager: Portage-3.0.5, Repoman-3.0.1
Signed-off-by: Jack Todaro <solpeth@posteo.org>
commit ca8f4945e11dc6e9a1615321dca213a81a6a1a5c
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Mon Dec 16 14:50:44 2019 -0500
dev-haskell/sbvplugin: drop old
Drop oldest
Signed-off-by: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
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 ab74a43b93536a4feef32bc6620065fe50b28e78
Author: Jack Todaro <jackmtodaro@gmail.com>
Date: Sat Sep 22 11:02:41 2018 +1000
dev-haskell/sbvplugin: bump up to 0.10
Package-Manager: Portage-2.3.49, Repoman-2.3.10
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 bc8a02425c220b53447e42e154a72e12c3be378b
Author: Sergei Trofimovich <siarheit@google.com>
Date: Mon Oct 3 21:12:55 2016 +0100
dev-lang/ghc: move 8.0.1 to unstable on x86 and amd64
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit 83c89ccac9ca5f41653d4c2c35888475ce0768ab
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Jun 26 13:54:52 2016 +0100
dev-haskell/sbvplugin: bump up to 0.7
Package-Manager: portage-2.3.0
commit aa19eeb10bc2eb3e09f93fa8a102c322742943e4
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Jan 26 14:19:48 2016 -0500
Update metadata.xml for GLEP 67
commit 44fd0c6d1b98273a18d2b3d80a7abcc85b3052db
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Jan 10 12:19:29 2016 +0000
dev-haskell/sbvplugin: new package
Package-Manager: portage-2.2.26
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 73e039b2995dcb9df1249361cb4446630fe3dc62
Author: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
Date: Sat Feb 27 08:19:45 2021 -0500
dev-haskell/sbvplugin: resolve MissingUseDepDefault QA warning
Signed-off-by: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
commit 6f33d28a025045c08b92f4e31e619350c4c45a99
Author: Jack Todaro <solpeth@posteo.org>
Date: Sun Sep 6 10:22:24 2020 +1000
dev-haskell/sbvplugin: remove old
Package-Manager: Portage-3.0.5, Repoman-3.0.1
Signed-off-by: Jack Todaro <solpeth@posteo.org>
commit c3518138da7af709a5a515f44bab4bfeb91a1520
Author: Jack Todaro <solpeth@posteo.org>
Date: Sun Sep 6 10:14:46 2020 +1000
dev-haskell/sbvplugin: bump up to 0.12
Package-Manager: Portage-3.0.5, Repoman-3.0.1
Signed-off-by: Jack Todaro <solpeth@posteo.org>
commit ca8f4945e11dc6e9a1615321dca213a81a6a1a5c
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Mon Dec 16 14:50:44 2019 -0500
dev-haskell/sbvplugin: drop old
Drop oldest
Signed-off-by: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
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 ab74a43b93536a4feef32bc6620065fe50b28e78
Author: Jack Todaro <jackmtodaro@gmail.com>
Date: Sat Sep 22 11:02:41 2018 +1000
dev-haskell/sbvplugin: bump up to 0.10
Package-Manager: Portage-2.3.49, Repoman-2.3.10
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 bc8a02425c220b53447e42e154a72e12c3be378b
Author: Sergei Trofimovich <siarheit@google.com>
Date: Mon Oct 3 21:12:55 2016 +0100
dev-lang/ghc: move 8.0.1 to unstable on x86 and amd64
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit 83c89ccac9ca5f41653d4c2c35888475ce0768ab
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Jun 26 13:54:52 2016 +0100
dev-haskell/sbvplugin: bump up to 0.7
Package-Manager: portage-2.3.0
commit aa19eeb10bc2eb3e09f93fa8a102c322742943e4
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Jan 26 14:19:48 2016 -0500
Update metadata.xml for GLEP 67
commit 44fd0c6d1b98273a18d2b3d80a7abcc85b3052db
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Jan 10 12:19:29 2016 +0000
dev-haskell/sbvplugin: new package
Package-Manager: portage-2.2.26