app-emacs/fstar-mode
Support for F* programming
-
fstar-mode-0.9.4.0~amd64 ~x86
View
Download
Browse License: Overlay: melpa-stable
ChangeLog
commit abe017ce6042b40136476ea0ef4723264b71387f
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Wed Apr 2 14:33:00 2025 +0000
Auto-generated ebuilds 2025-04-02T14:33:00.
commit ca251f8eb81b2b0f728f7fcd86c48e4929ef3d42
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Sat Feb 1 08:51:30 2025 +0000
Auto-generated ebuilds 2025-02-01T08:51:30.
commit 56cb0958ca07ea5ea25501482ccd41d903030d5b
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Wed Mar 13 13:21:40 2024 +0000
Auto-generated ebuilds 2024-03-13T13:21:40.
commit c82dbf8db50c082b7221b8212dd2cd740b367b3e
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Sat May 6 21:21:53 2023 +0000
Auto-generated ebuilds 2023-05-06T21:21:53.
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: Wed Apr 2 14:33:00 2025 +0000
Auto-generated ebuilds 2025-04-02T14:33:00.
commit ca251f8eb81b2b0f728f7fcd86c48e4929ef3d42
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Sat Feb 1 08:51:30 2025 +0000
Auto-generated ebuilds 2025-02-01T08:51:30.
commit 56cb0958ca07ea5ea25501482ccd41d903030d5b
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Wed Mar 13 13:21:40 2024 +0000
Auto-generated ebuilds 2024-03-13T13:21:40.
commit c82dbf8db50c082b7221b8212dd2cd740b367b3e
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Sat May 6 21:21:53 2023 +0000
Auto-generated ebuilds 2023-05-06T21:21:53.
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.

