diff options
| author |   Jeroen Roovers <jer@gentoo.org> | 2018-06-11 23:23:10 +0200 |
|---|---|---|
| committer | Jeroen Roovers <jer@gentoo.org> | 2018-06-11 23:23:10 +0200 |
| commit | eb18e5d9752639c5ba6bd253552ca0118accedc6 (patch) | |
| tree | 6219cb7d7998e82dde254f5c7e0321c26c8a8f6e /app-emacs/proofgeneral | |
| parent | www-client/vivaldi-snapshot: vivaldi-snapshot-1.16.1206.3_p1.ebuild (diff) | |
| download | gentoo-eb18e5d9752639c5ba6bd253552ca0118accedc6.tar.gz gentoo-eb18e5d9752639c5ba6bd253552ca0118accedc6.tar.bz2 gentoo-eb18e5d9752639c5ba6bd253552ca0118accedc6.zip | |
www-client/vivaldi-snapshot: Old.
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Diffstat (limited to 'app-emacs/proofgeneral')
0 files changed, 0 insertions, 0 deletions