gpo.zugaina.org

Search Portage & Overlays:

app-emacs/boogie-friends

A collection of programming modes for Boogie, Dafny, and Z3 (SMTLIB v2)

Screenshots

ChangeLog

commit f1915e49811a8d5d4eef17b5bcf755a0cde9271a
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Sun Sep 29 04:31:23 2024 +0000

Auto-generated ebuilds 2024-09-29T04:31:22.

commit cbc43f26a202a6c4e8dca74bee1b45f025a8a9c4
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Mon Sep 16 16:32:07 2024 +0000

Auto-generated ebuilds 2024-09-16T16:32:06.

commit 5854ffca8ffa1e2da6549df02d624f3f68f0c05c
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Sat Mar 25 22:41:07 2023 +0000

Auto-generated ebuilds 2023-03-25T22:41:07.

commit 2bc1b9b14b455767cceb0fd614d6c8b585370966
Author: Markus Walter <markus@jonglieren-jena.de>
Date: Thu Nov 4 22:11:10 2021 +0100

Initial mirror of melpa.

Close

Loading