| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | app-emacs/proofgeneral: amd64/ppc/x86 stable (ALLARCHES policy) wrt bug #865333 |   Agostino Sarubbo | 2022-08-16 | 1 | -1/+1 |
| * | app-emacs/proofgeneral: bump to 4.5 |   Maciej Barć | 2022-07-14 | 1 | -0/+57 |
GitWeb