gpo.zugaina.org

Search Portage & Overlays:

dev-racket/k-example

examples of using k theorem prover

Screenshots

ChangeLog

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 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 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 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 75206bbe425f007516f20df5ed7119fbbed734f3
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Jan 28 23:31:02 2022 +0100

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit 85a787b22b91acde425b883c502c2f93e5d4ae50
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jan 22 19:12:46 2022 +0100

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit ca6b83670a619087b18ddfb733436a99deab7f15
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jan 15 14:04:23 2022 +0100

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

commit 0aabd23bab5e8d2da73173b1dd6c8076cfad6ea3
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jan 8 04:23:28 2022 +0100

dev-racket: autoupdate

Signed-off-by: Maciej Barć <xgqt@gentoo.org>