gpo.zugaina.org

Search Portage & Overlays:

dev-ml/bheap

OCaml binary heap implementation by Jean-Christophe Filliatre

Screenshots

  • bheap-2.0.0
    ~amd64
    ocamlopt test

    View      Download      Browse     License: LGPL-2.1-with-linking-exception   
    Overlay: guru

ChangeLog

commit 81746b9c4a26bc5ca39823524f4c6b6539b700ce
Author: Julien Roy <julien@jroy.ca>
Date: Sat Mar 23 10:26:50 2024 -0400

*/*: drop to maintainer-needed

Closes: https://github.com/gentoo/guru/pull/141
Signed-off-by: Julien Roy <julien@jroy.ca>

commit 56eb433194ea1dd971bbf050dce90bff34ec017f
Author: Alain Emilia Anna Zscheile <fogti+devel@ytrizja.de>
Date: Thu Feb 29 16:50:28 2024 +0100

dev-ml/*: remove empty RDEPEND lines (lint cleanup)

Signed-off-by: Alain Emilia Anna Zscheile <fogti+devel@ytrizja.de>
Signed-off-by: David Roman <davidroman96@gmail.com>

commit 1e95f22062b44b3708c09b56fb2334f41c633e2e
Author: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
Date: Sat Mar 4 18:56:32 2023 +0500

*/*: update metadata schema uri

Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>

commit 8ba1e8a9c8f235f05cc51a443d508cd1d859074f
Author: Alessandro Barbieri <lssndrbarbieri@gmail.com>
Date: Tue Apr 26 12:32:34 2022 +0200

dev-ml/*: improve metadata

Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>

commit dc5b510338c10aaf68c621707197d33d5907ef6e
Author: Alessandro Barbieri <lssndrbarbieri@gmail.com>
Date: Tue Apr 5 20:46:20 2022 +0200

dev-ml/bheap: fix tests

Closes: https://bugs.gentoo.org/836828
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>

commit afa51d629acf59551af1a29400e860cd0b29f9df
Author: Alessandro Barbieri <lssndrbarbieri@gmail.com>
Date: Sun Apr 3 09:54:57 2022 +0200

dev-ml/bheap: initial import

Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>