diff options
| author | Agostino Sarubbo <ago@gentoo.org> | 2022-08-16 09:46:10 +0200 |
|---|---|---|
| committer | Agostino Sarubbo <ago@gentoo.org> | 2022-08-16 09:46:10 +0200 |
| commit | ad66bae0126f0d71066bbd4162494ee118bf868e (patch) | |
| tree | 3e85b52edbaaf826afafb8cc30e3ef4ae79ddd00 /dev-db/postgresql/postgresql-13.8.ebuild | |
| parent | 00c290ddaac7b7a0e28a1f33780a1b99125055cc (diff) | |
| download | gentoo-ad66bae0126f0d71066bbd4162494ee118bf868e.tar.gz gentoo-ad66bae0126f0d71066bbd4162494ee118bf868e.tar.bz2 gentoo-ad66bae0126f0d71066bbd4162494ee118bf868e.zip | |
app-emacs/proofgeneral: amd64/ppc/x86 stable (ALLARCHES policy) wrt bug #865333
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Diffstat (limited to 'dev-db/postgresql/postgresql-13.8.ebuild')
0 files changed, 0 insertions, 0 deletions