summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* app-emacs/boogie-friends: drop old 0.1_p20210703Maciej Barć2023-08-111-1/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* app-emacs/boogie-friends: bump to 0.1_p20220922Maciej Barć2022-10-301-0/+1
| | | | | | 2022.09.22 snapshot Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* app-emacs/boogie-friends: rename version to 0.1_p20210703Maciej Barć2022-10-301-1/+1
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* app-emacs/boogie-friends: new package; add 20210703 (2021.07.03 snapshot)Maciej Barć2022-03-091-0/+1
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>