pkgsrc.se | The NetBSD package collection

Back
Package history:
Update frequency

(2021-10-08) Some files were modified
(2020-09-29) Some files were modified
(2020-09-29) Package deleted from pkgsrc
(2020-01-29) Package updated to version: coq-8.11.0
(2020-01-29) Some files were modified
(2020-01-24) Some files were modified
(2020-01-24) Package updated to version: coq-8.11+beta1
(2020-01-02) Some files were modified
(2019-12-17) Package deleted from pkgsrc
(2019-12-15) Some files were modified
(2019-12-14) Package deleted from pkgsrc
(2019-09-04) Some files were modified
(2019-07-01) Some files were modified
(2019-06-25) Some files were modified
(2019-06-11) Package deleted from pkgsrc
(2019-05-21) Package updated to version: coq-8.10+beta1
(2019-05-21) Some files were modified
(2012-12-04) Package deleted from pkgsrc
(2012-09-25) Some files were modified
(2012-06-11) Some files were modified
(2012-06-11) Package deleted from pkgsrc
(2010-06-14) Package updated to version: coq-8.2pl1nb1
(2010-06-14) Some files were modified
(2010-03-11) Package added to pkgsrc, version 8.2pl1 (coq-8.2pl1) (created)