dev-racket/forge
A model-finding language with Alloy-adjacent syntax.
-
forge-9999doc
View Download Browse License: all-rights-reservedOverlay: racket-overlay -
forge-0_p20241029~amd64 ~arm ~ppc ~ppc64 ~x86doc
View Download Browse License: all-rights-reservedOverlay: racket-overlay
ChangeLog
commit e68684274b5103a2d84a6c8928171fc4b26df84f
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Dec 6 02:37:44 2024 +0100
dev-racket: remove old
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit eb86b1e7d007cdd1b84c61402edba363542f5f77
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Dec 6 02:35:52 2024 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 863483726f62cfaeb4a1c8f6412684d51b3fb6da
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sun Nov 3 23:48:26 2024 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit c7eed3a471370091b5abbb1e7d30b903f5ecc7dc
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Aug 3 17:17:55 2024 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit cf86240c7cf3cf20c36ce1bd63de0dc4a681843e
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jun 29 00:58:33 2024 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 3f52b3ad098a76ba095a4ba4ae8941c6e52285b3
Author: Maciej Barć <xgqt@gentoo.org>
Date: Mon May 20 00:46:00 2024 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 527adf9eac777dd143cf0c694b81fe44187db893
Author: Maciej Barć <xgqt@gentoo.org>
Date: Wed Mar 6 17:46:37 2024 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit d2d08ce04d68d2c711c8f4c33ae9cc40673f3df8
Author: Maciej Barć <xgqt@gentoo.org>
Date: Mon Feb 5 19:36:36 2024 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 5785011c9642adb77f43066c8d003fc7f6ea662e
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jan 6 22:52:20 2024 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 36daa6ad7790e1f78c213f1dc16e046d9ed35e51
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Sep 9 10:29:50 2023 +0200
dev-racket: big cleanup
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit b48a3b719a209840b4a51e4db9120d06bcb6a8e4
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Jul 21 14:24:55 2023 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 657e2864a8e481bbe90c9115e347e4c9f38d9946
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri May 5 02:12:11 2023 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit a26909a24c42329ddf63f26fc748b0751b1ac4be
Author: Maciej Barć <xgqt@gentoo.org>
Date: Wed Mar 15 12:45:51 2023 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 560564aed6d3a590f7176cf2fcea294aaf6e1c3e
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Mar 4 16:17:49 2023 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 62931e0eca7ec929a9b0f0c8605cc87fb642cc66
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Feb 10 16:52:21 2023 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit bae30d86dee4dc2f69e31ef9355736fb075a7624
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Feb 3 18:52:41 2023 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit d95c6b698d1fce9da495bc0239a852836dd282c9
Author: Maciej Barć <xgqt@gentoo.org>
Date: Wed Jan 25 19:29:46 2023 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit d77b950f61deb0feb3c409c48863c3108398b044
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Jan 20 12:45:15 2023 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit a69e0b586cc8706e76af8857237f664e60e7e33b
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Jan 6 02:31:22 2023 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit a52163ef6cb2588839b5c6ee1a795ed7d7c56786
Author: Maciej Barć <xgqt@gentoo.org>
Date: Tue Sep 13 02:23:42 2022 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 24059f805ec0c5bdb9575faddee835b4828cad03
Author: Maciej Barć <xgqt@gentoo.org>
Date: Tue Sep 13 01:04:40 2022 +0200
dev-racket: change version scheme
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 0cfbb7ea283b1aba42bc2b676d84d1c1f219031e
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Aug 12 13:34:00 2022 +0200
dev-racket: sort inherits
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 97b6522fb6643ef2c00b91f7e6531a573dc05a26
Author: Maciej Barć <xgqt@gentoo.org>
Date: Mon Jul 25 05:22:41 2022 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 4d77e698061dd198663788dccc46bb6bd1f66393
Author: Maciej Barć <xgqt@gentoo.org>
Date: Mon Jul 25 00:47:32 2022 +0200
*/*: keyword for arches supported by dev-scheme/racket
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit dfa41e89e02e1453e5f77d8d51e9f12570f2a525
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat May 28 12:04:17 2022 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 64231df1c4d908d1386b81ceeb49c19c48fd20dc
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri May 6 19:14:16 2022 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit a0c9c6b6d2ca5363ed6b3672118753a3f10f0d1b
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Apr 15 04:12:22 2022 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit eeb3fba2e179ab06fa33c22f6140d13073c1584b
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Apr 2 02:23:08 2022 +0200
dev-racket: autoupdate
April 02 autoupdate continued
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit fdff61831b7100beafba9ea845ed6accded19f9d
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Apr 2 02:17:52 2022 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit d86714bf0957d23f78a540d3040b07981d2fdde3
Author: Maciej Barć <xgqt@gentoo.org>
Date: Mon Mar 7 11:47:52 2022 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit e51cce2e467ffefb869faa8c3e84c892967e514a
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Feb 26 02:17:19 2022 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 8329eab46d97dea6482b76291ec97e37fb7896a1
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sun Feb 13 13:36:38 2022 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 48824b102711534ff8e9d9fe9f0d9e0cbc456270
Author: Maciej Barć <xgqt@gentoo.org>
Date: Tue Feb 8 21:27:35 2022 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 404b24c212b5c18446ef9495cba8c60210a21ea5
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jan 1 20:47:21 2022 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 14c1f6d9572e50deb16d60cc6ba2a83068eac6bb
Author: Maciej Barć <xgqt@riseup.net>
Date: Fri Nov 5 15:36:37 2021 +0100
dev-racket: sort deps
Signed-off-by: Maciej Barć <xgqt@riseup.net>
commit 9e2e72667471c8dbffa7d9cbc8c6eb9f9fd06b4c
Author: Maciej Barć <xgqt@riseup.net>
Date: Thu Oct 28 22:41:04 2021 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@riseup.net>
commit dbc7f9aaeb138e77bed2fe1650598401b490f67b
Author: Maciej Barć <xgqt@riseup.net>
Date: Thu Jul 22 03:16:27 2021 +0200
dev-racket/*: update with new collector2
Signed-off-by: Maciej Barć <xgqt@riseup.net>
commit c4ad9a60aceb4bef976c4dff287f4ed7aee8e974
Author: Maciej Barć <xgqt@riseup.net>
Date: Sat Jun 5 13:22:45 2021 +0200
dev-racket: autogenarate ebuilds
Package-Manager: Portage-3.0.18, Repoman-3.0.2
Signed-off-by: Maciej Barć <xgqt@riseup.net>
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Dec 6 02:37:44 2024 +0100
dev-racket: remove old
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit eb86b1e7d007cdd1b84c61402edba363542f5f77
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Dec 6 02:35:52 2024 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 863483726f62cfaeb4a1c8f6412684d51b3fb6da
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sun Nov 3 23:48:26 2024 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit c7eed3a471370091b5abbb1e7d30b903f5ecc7dc
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Aug 3 17:17:55 2024 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit cf86240c7cf3cf20c36ce1bd63de0dc4a681843e
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jun 29 00:58:33 2024 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 3f52b3ad098a76ba095a4ba4ae8941c6e52285b3
Author: Maciej Barć <xgqt@gentoo.org>
Date: Mon May 20 00:46:00 2024 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 527adf9eac777dd143cf0c694b81fe44187db893
Author: Maciej Barć <xgqt@gentoo.org>
Date: Wed Mar 6 17:46:37 2024 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit d2d08ce04d68d2c711c8f4c33ae9cc40673f3df8
Author: Maciej Barć <xgqt@gentoo.org>
Date: Mon Feb 5 19:36:36 2024 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 5785011c9642adb77f43066c8d003fc7f6ea662e
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jan 6 22:52:20 2024 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 36daa6ad7790e1f78c213f1dc16e046d9ed35e51
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Sep 9 10:29:50 2023 +0200
dev-racket: big cleanup
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit b48a3b719a209840b4a51e4db9120d06bcb6a8e4
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Jul 21 14:24:55 2023 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 657e2864a8e481bbe90c9115e347e4c9f38d9946
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri May 5 02:12:11 2023 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit a26909a24c42329ddf63f26fc748b0751b1ac4be
Author: Maciej Barć <xgqt@gentoo.org>
Date: Wed Mar 15 12:45:51 2023 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 560564aed6d3a590f7176cf2fcea294aaf6e1c3e
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Mar 4 16:17:49 2023 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 62931e0eca7ec929a9b0f0c8605cc87fb642cc66
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Feb 10 16:52:21 2023 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit bae30d86dee4dc2f69e31ef9355736fb075a7624
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Feb 3 18:52:41 2023 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit d95c6b698d1fce9da495bc0239a852836dd282c9
Author: Maciej Barć <xgqt@gentoo.org>
Date: Wed Jan 25 19:29:46 2023 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit d77b950f61deb0feb3c409c48863c3108398b044
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Jan 20 12:45:15 2023 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit a69e0b586cc8706e76af8857237f664e60e7e33b
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Jan 6 02:31:22 2023 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit a52163ef6cb2588839b5c6ee1a795ed7d7c56786
Author: Maciej Barć <xgqt@gentoo.org>
Date: Tue Sep 13 02:23:42 2022 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 24059f805ec0c5bdb9575faddee835b4828cad03
Author: Maciej Barć <xgqt@gentoo.org>
Date: Tue Sep 13 01:04:40 2022 +0200
dev-racket: change version scheme
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 0cfbb7ea283b1aba42bc2b676d84d1c1f219031e
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Aug 12 13:34:00 2022 +0200
dev-racket: sort inherits
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 97b6522fb6643ef2c00b91f7e6531a573dc05a26
Author: Maciej Barć <xgqt@gentoo.org>
Date: Mon Jul 25 05:22:41 2022 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 4d77e698061dd198663788dccc46bb6bd1f66393
Author: Maciej Barć <xgqt@gentoo.org>
Date: Mon Jul 25 00:47:32 2022 +0200
*/*: keyword for arches supported by dev-scheme/racket
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit dfa41e89e02e1453e5f77d8d51e9f12570f2a525
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat May 28 12:04:17 2022 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 64231df1c4d908d1386b81ceeb49c19c48fd20dc
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri May 6 19:14:16 2022 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit a0c9c6b6d2ca5363ed6b3672118753a3f10f0d1b
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Apr 15 04:12:22 2022 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit eeb3fba2e179ab06fa33c22f6140d13073c1584b
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Apr 2 02:23:08 2022 +0200
dev-racket: autoupdate
April 02 autoupdate continued
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit fdff61831b7100beafba9ea845ed6accded19f9d
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Apr 2 02:17:52 2022 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit d86714bf0957d23f78a540d3040b07981d2fdde3
Author: Maciej Barć <xgqt@gentoo.org>
Date: Mon Mar 7 11:47:52 2022 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit e51cce2e467ffefb869faa8c3e84c892967e514a
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Feb 26 02:17:19 2022 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 8329eab46d97dea6482b76291ec97e37fb7896a1
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sun Feb 13 13:36:38 2022 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 48824b102711534ff8e9d9fe9f0d9e0cbc456270
Author: Maciej Barć <xgqt@gentoo.org>
Date: Tue Feb 8 21:27:35 2022 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 404b24c212b5c18446ef9495cba8c60210a21ea5
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jan 1 20:47:21 2022 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 14c1f6d9572e50deb16d60cc6ba2a83068eac6bb
Author: Maciej Barć <xgqt@riseup.net>
Date: Fri Nov 5 15:36:37 2021 +0100
dev-racket: sort deps
Signed-off-by: Maciej Barć <xgqt@riseup.net>
commit 9e2e72667471c8dbffa7d9cbc8c6eb9f9fd06b4c
Author: Maciej Barć <xgqt@riseup.net>
Date: Thu Oct 28 22:41:04 2021 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@riseup.net>
commit dbc7f9aaeb138e77bed2fe1650598401b490f67b
Author: Maciej Barć <xgqt@riseup.net>
Date: Thu Jul 22 03:16:27 2021 +0200
dev-racket/*: update with new collector2
Signed-off-by: Maciej Barć <xgqt@riseup.net>
commit c4ad9a60aceb4bef976c4dff287f4ed7aee8e974
Author: Maciej Barć <xgqt@riseup.net>
Date: Sat Jun 5 13:22:45 2021 +0200
dev-racket: autogenarate ebuilds
Package-Manager: Portage-3.0.18, Repoman-3.0.2
Signed-off-by: Maciej Barć <xgqt@riseup.net>