diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-05-23 23:32:23 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-05-24 00:08:08 +0200 |
| commit | 7daffe9e78522a489976b6a91310c5a9b21b6742 (patch) | |
| tree | 00e60c6659bfd6680a90f40de8d66f4720360dd7 /dev-dotnet/fsautocomplete | |
| parent | dev-lang/dafny: use edo instead of edob (diff) | |
| download | gentoo-7daffe9e78522a489976b6a91310c5a9b21b6742.tar.gz gentoo-7daffe9e78522a489976b6a91310c5a9b21b6742.tar.bz2 gentoo-7daffe9e78522a489976b6a91310c5a9b21b6742.zip | |
dev-lang/eisl: bump to 3.95
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-dotnet/fsautocomplete')
0 files changed, 0 insertions, 0 deletions