/gentoo-portage/app-emacs/company-coq/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
files/	-	2024-Nov-02 05:41
Manifest	1.5 KiB	2023-Aug-12 01:10
company-coq-1.0.1_p20220314.ebuild	915 B	2023-Mar-19 22:40
metadata.xml	905 B	2022-Mar-08 22:40