repo/gentoo.git/sci-mathematics/psmt2-frontend, branch master Official Gentoo ebuild repository sci-mathematics/psmt2-frontend: remove unused patch(es) 2024-03-16T12:13:23+00:00 Michael Mair-Keimberger mmk@levelnine.at 2024-03-09T09:43:56+00:00 e5d8df3eeb4b6128acec9b706d95d26832d1bdb3 Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
sci-mathematics/psmt2-frontend: drop old 0.2 2024-03-08T11:55:09+00:00 Maciej Barć xgqt@gentoo.org 2024-03-08T10:33:26+00:00 0e7f215320a3eacdb4ae0f9f80de97115ff003fa Closes: https://bugs.gentoo.org/926434 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Closes: https://bugs.gentoo.org/926434
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
sci-mathematics/psmt2-frontend: amd64 stable wrt bug #834375 2022-03-02T09:04:42+00:00 Agostino Sarubbo ago@gentoo.org 2022-03-02T09:04:42+00:00 bf1a25f73bc0b5fe1acc21c93253adca9f08ef95 Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Package-Manager: Portage-3.0.30, Repoman-3.0.3
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
sci-mathematics/psmt2-frontend: metadata: add longdescription and upstream 2021-12-27T23:58:50+00:00 Maciej Barć xgqt@gentoo.org 2021-12-27T23:58:50+00:00 8edf3b96560d39a8af2557eabdb8c58164fce522 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
sci-mathematics/psmt2-frontend: bump to 0.4.0 2021-12-27T23:47:31+00:00 Maciej Barć xgqt@gentoo.org 2021-12-27T23:40:12+00:00 db8c4170efe4daa96a19aad54a72836f04a463b5 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
sci-mathematics/psmt2-frontend: change maint: tupone -> ml & sci 2021-12-27T23:47:31+00:00 Maciej Barć xgqt@gentoo.org 2021-12-27T23:38:17+00:00 6ffef97d1884cf248e877347f3338dccc5f7f9cb Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
**/metadata.xml: Replace http by https in DOCTYPE element 2021-09-11T13:22:48+00:00 Ulrich Müller ulm@gentoo.org 2021-09-11T07:55:31+00:00 38b155fa1bf907617067c98eb4ba3a5d0790eb1a Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Bug: https://bugs.gentoo.org/552720
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
sci-mathematics/psmt2-frontend: ignore CFLAGS warning 2020-05-27T19:00:45+00:00 Alfredo Tupone tupone@gentoo.org 2020-05-27T19:00:45+00:00 46c1b0e31c9201a28a9c83bf3704f135c60f0406 Closes: https://bugs.gentoo.org/725556 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Closes: https://bugs.gentoo.org/725556
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
sci-mathematics/psmt2-frontend: RedundantLongDescription 2020-02-02T20:45:43+00:00 Tupone Alfredo tupone@gentoo.org 2020-02-02T20:45:43+00:00 f5c605ffb6b72aa15ba2e5235d486674d96b2ec0 Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.79, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
sci-mathematics/psmt2-frontend: fix make install 2019-10-29T21:12:42+00:00 Tupone Alfredo tupone@gentoo.org 2019-10-29T21:11:58+00:00 4ded99a3df1b8cdf0aa8dc29b8589f4817e12e55 Closes: https://bugs.gentoo.org/698858 Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Closes: https://bugs.gentoo.org/698858
Package-Manager: Portage-2.3.76, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>