diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2023-02-21 22:25:26 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-02-22 00:53:59 +0100 |
| commit | 76fc122086248e94e1c1b416f2a0e790b69925ce (patch) | |
| tree | 4bcbcb9e9284e08af6e07e29ec903c651029cc88 /dev-scheme/guile-ssh/guile-ssh-0.16.3.ebuild | |
| parent | aea3100a6f8d05bff8a9d0eadd689c3131d0ddb8 (diff) | |
| download | gentoo-76fc122086248e94e1c1b416f2a0e790b69925ce.tar.gz gentoo-76fc122086248e94e1c1b416f2a0e790b69925ce.tar.bz2 gentoo-76fc122086248e94e1c1b416f2a0e790b69925ce.zip | |
dev-lang/dafny-bin: bump to 3.12.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-scheme/guile-ssh/guile-ssh-0.16.3.ebuild')
0 files changed, 0 insertions, 0 deletions