commit f6bd863cef834a4f2f000445362f056102dc5eee
Author: Alain Emilia Anna Zscheile <fogti+devel@ytrizja.de>
Date: Mon Feb 26 12:46:44 2024 +0100

dev-ml/* (RedPRL): add upstream maintainer info

commit b3f6befd9e9bb34e3653e12d50d112f0a1b808f5
Author: Alain Zscheile <fogti+devel@ytrizja.de>
Date: Wed Feb 21 00:56:43 2024 +0100

dev-ml/*: fix LICENSE information (sorry)

commit dea125a893c44023b6aac5afe9d274c2fccdcea0
Author: Alain Zscheile <fogti+devel@ytrizja.de>
Date: Tue Feb 20 23:44:36 2024 +0100

dev-ml/*: prune unnecessary setvar S; add package thread-table-1.0.0; opam-0install-solver: add missing dependency

commit 1cd5a2c9c79dfa68e2190b96bfb16912b9a166c5
Author: Alain Zscheile <fogti+devel@ytrizja.de>
Date: Tue Feb 20 23:35:08 2024 +0100

*/*/metadata.xml: use a more formal/semi-official name for myself

commit 40788e8ca7d033dceb34100253ba6bc6c144c3b7
Author: Alain Zscheile <fogti+devel@ytrizja.de>
Date: Tue Feb 20 22:41:52 2024 +0100

dev-ml/*: add algaeff, bwd, and newest core version