dev-haskell/liquid-fixpoint
Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
Screenshots
View
Download
BrowseChangeLog
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 9a9c92bddaf8a8065a7af3f129623b115b45ae76
Author: hololeap <hololeap@users.noreply.github.com>
Date: Fri Nov 11 22:22:21 2022 -0700
dev-haskell/liquid-fixpoint: update live version
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit 1e0a4abffa8a1347339f3e1f74668b9de032c8a7
Author: hololeap <hololeap@users.noreply.github.com>
Date: Fri Nov 11 21:31:29 2022 -0700
dev-haskell/liquid-fixpoint: add 8.10.7 (Masked)
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit 1aeb983fdbeb58ad1b76e7f127e51fc30efdea3f
Author: hololeap <hololeap@users.noreply.github.com>
Date: Fri Nov 11 21:10:13 2022 -0700
dev-haskell/liquid-fixpoint: add 0.8.10.7.1_pre20220624, drop 0.8.0.2
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 4045571af2ef614e537d7b735a2f07d7baa6ded3
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sun Sep 27 13:45:02 2020 +0100
dev-haskell/liquid-fixpoint: drop old
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 60c6446427964822a48e38e80553de4c268016b7
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Tue Jan 7 16:32:09 2020 -0330
dev-haskell/liquid-fixpoint: bump up to 0.8.0.2
Package-Manager: Portage-2.3.79, Repoman-2.3.18
Signed-off-by: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
commit ac4fd8c0e5c03c0af99f0f1e387031e93677144e
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Sat Dec 28 21:44:19 2019 -0500
dev-haskell/liquid-fixpoint: refresh live ebuild
Package-Manager: Portage-2.3.79, Repoman-2.3.16
Signed-off-by: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
commit 44858784e2de39daa5ae7bb089e56b5e0b8d8154
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Thu Dec 5 12:11:16 2019 -0330
dev-haskell/liquid-fixpoint: drop old
Keep last (0.6.0.1) and 9999.
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 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 e2dc30474649606925a4c560a67240ef978c9098
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sun May 28 09:38:15 2017 +0100
dev-haskell/liquid-fixpoint: RESTRICT=test, tests still fail
Package-Manager: Portage-2.3.6, Repoman-2.3.2
commit cb1ddb88b4de6491fe6fc6f253296628486e11dd
Author: Lana Black <lanablack@amok.cc>
Date: Wed May 24 20:36:41 2017 +0000
dev-haskell/liquid-fixpoint: update to 0.6.0.1.
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 1aa9b974924c023ce2379708ab8b408292e67912
Author: Sergei Trofimovich <siarheit@google.com>
Date: Thu Jan 19 15:36:10 2017 +0000
dev-haskell/liquid-fixpoint: pull latest ghc-8 compatible snapshot from git (by Altai-man)
Closes: https://github.com/gentoo-haskell/gentoo-haskell/issues/571
Package-Manager: Portage-2.3.3, Repoman-2.3.1
commit 31b481b0b4b4382b664c8d8c4f8de39c1fcbbe1a
Author: Sergei Trofimovich <siarheit@google.com>
Date: Wed Jan 18 14:02:46 2017 +0000
dev-haskell/liquid-fixpoint: add missing located-base depend (bug #571)
Package-Manager: Portage-2.3.3, Repoman-2.3.1
commit ddd4c3728975f29f1fa9295557a5867e7e20b2da
Author: Vikraman Choudhury <git@vikraman.org>
Date: Wed Aug 3 01:30:36 2016 -0400
dev-haskell/liquid-fixpoint: Prefer z3 over cvc4
Package-Manager: portage-2.3.0
commit 907c1e34afe2dc52cea9140a8cfae8088b88d64c
Author: Vikraman Choudhury <git@vikraman.org>
Date: Wed Aug 3 01:04:44 2016 -0400
dev-haskell/liquid-fixpoint: Add live ebuild
Package-Manager: portage-2.3.0
commit 2f911ffdf4fb503286402e303cad518f1ee1a0f2
Author: Sergei Trofimovich <siarheit@google.com>
Date: Wed Apr 20 22:52:20 2016 +0100
dev-haskell/liquid-fixpoint: RESTRICT=test, fail for unknown reason
Package-Manager: portage-2.2.28
commit e4e45fff145fb23e56b241a5d69661e3bf4dc8b1
Author: Sergei Trofimovich <siarheit@google.com>
Date: Wed Apr 20 22:45:50 2016 +0100
dev-haskell/liquid-fixpoint: drop USE=devel, drop unused USE descriptions
Package-Manager: portage-2.2.28
commit 210cfd4ce7247491d260afbe59827c503ca6080c
Author: Lana Black <lanablack@amok.cc>
Date: Wed Apr 20 21:11:50 2016 +0000
dev-haskell/liquid-fixpoint: new package
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 9a9c92bddaf8a8065a7af3f129623b115b45ae76
Author: hololeap <hololeap@users.noreply.github.com>
Date: Fri Nov 11 22:22:21 2022 -0700
dev-haskell/liquid-fixpoint: update live version
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit 1e0a4abffa8a1347339f3e1f74668b9de032c8a7
Author: hololeap <hololeap@users.noreply.github.com>
Date: Fri Nov 11 21:31:29 2022 -0700
dev-haskell/liquid-fixpoint: add 8.10.7 (Masked)
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit 1aeb983fdbeb58ad1b76e7f127e51fc30efdea3f
Author: hololeap <hololeap@users.noreply.github.com>
Date: Fri Nov 11 21:10:13 2022 -0700
dev-haskell/liquid-fixpoint: add 0.8.10.7.1_pre20220624, drop 0.8.0.2
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 4045571af2ef614e537d7b735a2f07d7baa6ded3
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sun Sep 27 13:45:02 2020 +0100
dev-haskell/liquid-fixpoint: drop old
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 60c6446427964822a48e38e80553de4c268016b7
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Tue Jan 7 16:32:09 2020 -0330
dev-haskell/liquid-fixpoint: bump up to 0.8.0.2
Package-Manager: Portage-2.3.79, Repoman-2.3.18
Signed-off-by: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
commit ac4fd8c0e5c03c0af99f0f1e387031e93677144e
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Sat Dec 28 21:44:19 2019 -0500
dev-haskell/liquid-fixpoint: refresh live ebuild
Package-Manager: Portage-2.3.79, Repoman-2.3.16
Signed-off-by: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
commit 44858784e2de39daa5ae7bb089e56b5e0b8d8154
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Thu Dec 5 12:11:16 2019 -0330
dev-haskell/liquid-fixpoint: drop old
Keep last (0.6.0.1) and 9999.
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 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 e2dc30474649606925a4c560a67240ef978c9098
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sun May 28 09:38:15 2017 +0100
dev-haskell/liquid-fixpoint: RESTRICT=test, tests still fail
Package-Manager: Portage-2.3.6, Repoman-2.3.2
commit cb1ddb88b4de6491fe6fc6f253296628486e11dd
Author: Lana Black <lanablack@amok.cc>
Date: Wed May 24 20:36:41 2017 +0000
dev-haskell/liquid-fixpoint: update to 0.6.0.1.
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 1aa9b974924c023ce2379708ab8b408292e67912
Author: Sergei Trofimovich <siarheit@google.com>
Date: Thu Jan 19 15:36:10 2017 +0000
dev-haskell/liquid-fixpoint: pull latest ghc-8 compatible snapshot from git (by Altai-man)
Closes: https://github.com/gentoo-haskell/gentoo-haskell/issues/571
Package-Manager: Portage-2.3.3, Repoman-2.3.1
commit 31b481b0b4b4382b664c8d8c4f8de39c1fcbbe1a
Author: Sergei Trofimovich <siarheit@google.com>
Date: Wed Jan 18 14:02:46 2017 +0000
dev-haskell/liquid-fixpoint: add missing located-base depend (bug #571)
Package-Manager: Portage-2.3.3, Repoman-2.3.1
commit ddd4c3728975f29f1fa9295557a5867e7e20b2da
Author: Vikraman Choudhury <git@vikraman.org>
Date: Wed Aug 3 01:30:36 2016 -0400
dev-haskell/liquid-fixpoint: Prefer z3 over cvc4
Package-Manager: portage-2.3.0
commit 907c1e34afe2dc52cea9140a8cfae8088b88d64c
Author: Vikraman Choudhury <git@vikraman.org>
Date: Wed Aug 3 01:04:44 2016 -0400
dev-haskell/liquid-fixpoint: Add live ebuild
Package-Manager: portage-2.3.0
commit 2f911ffdf4fb503286402e303cad518f1ee1a0f2
Author: Sergei Trofimovich <siarheit@google.com>
Date: Wed Apr 20 22:52:20 2016 +0100
dev-haskell/liquid-fixpoint: RESTRICT=test, fail for unknown reason
Package-Manager: portage-2.2.28
commit e4e45fff145fb23e56b241a5d69661e3bf4dc8b1
Author: Sergei Trofimovich <siarheit@google.com>
Date: Wed Apr 20 22:45:50 2016 +0100
dev-haskell/liquid-fixpoint: drop USE=devel, drop unused USE descriptions
Package-Manager: portage-2.2.28
commit 210cfd4ce7247491d260afbe59827c503ca6080c
Author: Lana Black <lanablack@amok.cc>
Date: Wed Apr 20 21:11:50 2016 +0000
dev-haskell/liquid-fixpoint: new package