app-emacs/company-coq – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2023-08-11
- app-emacs/company-coq: drop old 1.0.1_p20210708-r1
  6fef06e
  Maciej Barć committed on 2023-08-11 16:41:35 UTC
  app-emacs/company-coq/Manifestapp-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild
Commits on 2023-03-19
- app-emacs/company-coq: guard COMMIT hash for correct snapshots
  426a0fd
  Maciej Barć committed on 2023-03-19 13:53:08 UTC
  app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuildapp-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild
Commits on 2023-01-30
- app-emacs: H -> COMMIT
  ff7d89f
  Maciej Barć committed on 2023-01-30 20:31:30 UTC
  app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuildapp-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild
Commits on 2022-08-31
- app-emacs/company-coq: bump to 1.0.1_p20220314
  4d7bb3a
  Maciej Barć committed on 2022-08-31 19:26:04 UTC
  app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuildapp-emacs/company-coq/Manifest
Commits on 2022-03-08
- app-emacs: drop xgqt (myself) from maintainers
  ff62031
  Maciej Barć committed on 2022-03-08 14:06:58 UTC
  app-emacs/company-coq/metadata.xml
Commits on 2022-03-06
- app-emacs/company-coq: add company-coq-mode hook to coq-mode
  5b14c61
  Maciej Barć committed on 2022-03-06 23:53:31 UTC
  app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuildapp-emacs/company-coq/files/50company-coq-gentoo.elapp-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild
- app-emacs/company-coq: add proofgeneral runtime dependency
  10c7e0a
  Maciej Barć committed on 2022-03-06 23:53:31 UTC
  app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild
- app-emacs/company-coq: update metadata - add longdescription
  70afc10
  Maciej Barć committed on 2022-03-06 03:22:42 UTC
  app-emacs/company-coq/metadata.xml
- app-emacs/company-coq: new package; add 1.0.1_p20210708
  36102d4
  Maciej Barć committed on 2022-03-06 02:54:33 UTC
  app-emacs/company-coq/Manifestapp-emacs/company-coq/company-coq-1.0.1_p20210708.ebuildapp-emacs/company-coq/files/50company-coq-gentoo.elapp-emacs/company-coq/files/company-coq-refman-path.patchapp-emacs/company-coq/metadata.xml