Navigation:
Browse pkgsrc
(this page)| 2018-11-12 04:53:16 by Ryo ONODERA | Files touched by this commit (1532) |
Log message: Recursive revbump from hardbuzz-2.1.1 |
2018-10-24 23:11:57 by Leonardo Taccari | Files touched by this commit (173) |  |
Log message: *: (belatedly) revbump for net/libsoup update Thanks to <wiz>! |
| 2018-08-02 14:57:03 by Jaap Boender | Files touched by this commit (4) |
Log message: Updated package lang/coq to version 8.8.1. The list of improvements, additions, bugfixes and so on is quite large; those interested can refer to the CHANGES file in the distribution. The reference manual has been fully ported to Sphinx. |
| 2018-07-20 05:34:33 by Ryo ONODERA | Files touched by this commit (705) |
Log message: Recursive revbump from textproc/icu-62.1 |
| 2018-06-16 12:25:51 by Mark Davies | Files touched by this commit (1) |
Log message: coq: always installs coqdoc.sty in tex tree. |
| 2018-04-18 00:29:53 by Thomas Klausner | Files touched by this commit (286) |
Log message: Add p11-kit to gnutls/bl3.mk and bump dependencies. |
| 2018-04-16 16:35:28 by Thomas Klausner | Files touched by this commit (1284) |
Log message: Recursive bump for new fribidi dependency in pango. |
| 2018-04-14 09:34:46 by Adam Ciarcinski | Files touched by this commit (681) | |
Log message: revbump after icu update |
| 2018-04-09 13:29:23 by Jaap Boender | Files touched by this commit (3) |
Log message: Updated lang/coq to version 8.7.2. This fixes a critical bug in the VM handling of universes, and adds various other minor fixes and improvements. |
| 2018-03-12 12:18:01 by Thomas Klausner | Files touched by this commit (2155) |
Log message: Recursive bumps for fontconfig and libzip dependency changes. |
New packages: