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 (Expand)AuthorAgeFilesLines
* app-emacs/company-coq: drop old 1.0.1_p20210708-r1Maciej Barć2023-08-112-47/+0
* app-emacs/company-coq: guard COMMIT hash for correct snapshotsMaciej Barć2023-03-192-4/+4
* app-emacs: H -> COMMITMaciej Barć2023-01-302-8/+8
* app-emacs/company-coq: bump to 1.0.1_p20220314Maciej Barć2022-08-312-0/+47
* app-emacs: drop xgqt (myself) from maintainersMaciej Barć2022-03-081-4/+0
* app-emacs/company-coq: add company-coq-mode hook to coq-modeMaciej Barć2022-03-072-0/+3
* app-emacs/company-coq: add proofgeneral runtime dependencyMaciej Barć2022-03-071-2/+5
* app-emacs/company-coq: update metadata - add longdescriptionMaciej Barć2022-03-061-0/+8
* app-emacs/company-coq: new package; add 1.0.1_p20210708Maciej Barć2022-03-065-0/+75