Link [ pkgsrc | NetBSD | pkgsrc git mirror | PR fulltext-search | netbsd commit viewer ]


   
        usage: [branch:branch] [user:user] [path[@revision]] keyword [... [-excludekeyword [...]]] (e.g. branch:MAIN pkgtools/pkg)


[ 1 ]


switch to index mode

recent branches: MAIN (23m)  pkgsrc-2024Q1 (3d)  pkgsrc-2023Q4 (77d)  pkgsrc-2023Q2 (110d) 

2024-06-17 10:29:25 UTC Now

2008-01-12 11:48:40 UTC MAIN commitmail json YAML

pkgsrc/lang/coq/Makefile@1.19 / diff
pkgsrc/lang/coq/distinfo@1.8 / diff
pkgsrc/lang/coq/patches/patch-aa@1.7 / diff

Update lang/coq to 8.1pl3

hanges from V8.1pl2 to V8.1pl3
===============================
Bug fixes
- A critical bug and a few other bugs have been fixed.

(tonio)

[ 1 ]