diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-03-06 03:19:59 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-03-06 03:54:33 +0100 |
| commit | 36102d4690dc9e99d550128783624dbc77b448b9 (patch) | |
| tree | a9bda94d3872f483cff37de61546b2c4b6b7a6fe /app-emacs/company-coq/Manifest | |
| parent | app-emacs/company-math: new package; add 1.4_p20210731 (diff) | |
| download | gentoo-36102d4690dc9e99d550128783624dbc77b448b9.tar.gz gentoo-36102d4690dc9e99d550128783624dbc77b448b9.tar.bz2 gentoo-36102d4690dc9e99d550128783624dbc77b448b9.zip | |
app-emacs/company-coq: new package; add 1.0.1_p20210708
2021.07.08 snapshot
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'app-emacs/company-coq/Manifest')
| -rw-r--r-- | app-emacs/company-coq/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app-emacs/company-coq/Manifest b/app-emacs/company-coq/Manifest new file mode 100644 index 000000000000..c02201ab2771 --- /dev/null +++ b/app-emacs/company-coq/Manifest @@ -0,0 +1 @@ +DIST company-coq-1.0.1_p20210708.tar.gz 3803957 BLAKE2B d2bb3022228cc7a103d4343e914ec20cf539405062e475c7be6cd0db776490a7af35f10fc9e712733bd8f7c6667a05f8d3d6c4321820a61da0847b8bc718c182 SHA512 92a7d0bf8326460519e5f47fe1e9779a4cc2d2bf069898e1797fabf483535eca8244c1ea36bc525aac418e2c26036a8580076435ccbfaa5bdc2e6ee6f133b655 |