diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2024-05-26 14:44:14 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2024-05-26 15:54:32 +0200 |
| commit | 489655be779b63173dedcaab0d328ffb34051bda (patch) | |
| tree | 291d08615d8f10dd5742ad1ca5cbc3b1b17e2ff9 /app-emacs/proofgeneral/proofgeneral-4.5_pre20220228.ebuild | |
| parent | sys-kernel/gentoo-kernel: Bump to 6.9.2 (diff) | |
| download | gentoo-489655be779b63173dedcaab0d328ffb34051bda.tar.gz gentoo-489655be779b63173dedcaab0d328ffb34051bda.tar.bz2 gentoo-489655be779b63173dedcaab0d328ffb34051bda.zip | |
virtual/dist-kernel: Bump to 6.9.2
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'app-emacs/proofgeneral/proofgeneral-4.5_pre20220228.ebuild')
0 files changed, 0 insertions, 0 deletions