|
5ed7827e15
|
rebuilt with ghc 9.4.8 [release 0.1.2.0-2mamba;Sat Dec 02 2023]
|
2024-01-05 22:48:27 +01:00 |
|
|
bfa82a794a
|
automatic version update by autodist [release 0.1.2.0-1mamba;Thu Feb 04 2021]
|
2024-01-05 22:48:27 +01:00 |
|
|
0c491c02c3
|
package created by silvan using the webbuild interface [release 0.0.1-1mamba;Sun Sep 08 2013]
|
2024-01-05 22:48:27 +01:00 |
|