Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/app-emacs/company-coq
Commit message (Collapse)AuthorAgeFilesLines
* app-emacs/company-coq: drop old 1.0.1_p20210708-r1Maciej Barć2023-08-112-47/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* app-emacs/company-coq: guard COMMIT hash for correct snapshotsMaciej Barć2023-03-192-4/+4
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* app-emacs: H -> COMMITMaciej Barć2023-01-302-8/+8
| | | | | Bug: https://github.com/pkgcore/pkgcheck/issues/536 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* app-emacs/company-coq: bump to 1.0.1_p20220314Maciej Barć2022-08-312-0/+47
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* app-emacs: drop xgqt (myself) from maintainersMaciej Barć2022-03-081-4/+0
| | | | | | | as I am now a member of Gentoo GNU Emacs project Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* app-emacs/company-coq: add company-coq-mode hook to coq-modeMaciej Barć2022-03-072-0/+3
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* app-emacs/company-coq: add proofgeneral runtime dependencyMaciej Barć2022-03-071-2/+5
| | | | | | | because it is needed to add hook to coq-mode provided by PG Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* app-emacs/company-coq: update metadata - add longdescriptionMaciej Barć2022-03-061-0/+8
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* app-emacs/company-coq: new package; add 1.0.1_p20210708Maciej Barć2022-03-065-0/+75
2021.07.08 snapshot Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>