diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-12-15 22:50:22 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-12-15 22:51:18 +0100 |
| commit | 2aae64a96eaa2c1c1375bb0bb534d0fd6e70116a (patch) | |
| tree | 36603a152dcdb690e6c5dc4f925dd73f308ba2c8 /sci-electronics/electric | |
| parent | media-libs/phonon-gstreamer: drop 4.10.0 (diff) | |
| download | gentoo-2aae64a96eaa2c1c1375bb0bb534d0fd6e70116a.tar.gz gentoo-2aae64a96eaa2c1c1375bb0bb534d0fd6e70116a.tar.bz2 gentoo-2aae64a96eaa2c1c1375bb0bb534d0fd6e70116a.zip | |
dev-lang/dafny-bin: bump to 3.10.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-electronics/electric')
0 files changed, 0 insertions, 0 deletions