app-emacs/boogie-friends
A collection of programming modes for Boogie, Dafny, and Z3 (SMTLIB v2)
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.
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.