gpo.zugaina.org

Search Portage & Overlays:

dev-ml/asai

A library for constructing and printing compiler diagnostics

Screenshots

  • asai-0.3.0
    amd64 arm arm64 ~ppc ppc64 ~riscv x86
    +ocamlopt test

    View      Download      Browse     License: Apache-2.0   
    Overlay: zscheile

ChangeLog

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 2fa28cff135bde3dbacc5afa91832dc7b7327b84
Author: Alain Zscheile <fogti+devel@ytrizja.de>
Date: Tue Feb 20 23:33:49 2024 +0100

dev-ml/asai: new package, add 0.3.0