diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-12-27 01:20:47 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-12-27 02:20:42 +0100 |
| commit | 0f91c770efc10cdaf14d527316b247b1a5e4d26b (patch) | |
| tree | ba0e3b2ba3805c45b52c44a3115b7cfcfddf7728 /dev-lang/abs | |
| parent | app-emacs/osm: bump to 1.1 (diff) | |
| download | gentoo-0f91c770efc10cdaf14d527316b247b1a5e4d26b.tar.gz gentoo-0f91c770efc10cdaf14d527316b247b1a5e4d26b.tar.bz2 gentoo-0f91c770efc10cdaf14d527316b247b1a5e4d26b.zip | |
dev-lang/idris2: bump to 0.7.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/abs')
0 files changed, 0 insertions, 0 deletions