Navigation:
Browse pkgsrc
(this page)| 2013-06-05 00:17:35 by Matthias Scheler | Files touched by this commit (1946) |
Log message: Try to fix the fallout caused by the fix for PR pkg/47882. Part 3: Recursively bump package revisions again after the "freetype2" and "fontconfig" handling was fixed. |
| 2013-06-03 12:06:28 by Thomas Klausner | Files touched by this commit (1948) |
Log message: Bump freetype2 and fontconfig dependencies to current pkgsrc versions, to address issues with NetBSD-6(and earlier)'s fontconfig not being new enough for pango. While doing that, also bump freetype2 dependency to current pkgsrc version. Suggested by tron in PR 47882 |
| 2013-05-24 20:23:40 by Thomas Klausner | Files touched by this commit (147) |
Log message: Bump PKGREVISION for libproxy shlib major bump. |
| 2013-05-09 09:40:47 by Adam Ciarcinski | Files touched by this commit (620) |
Log message: Massive revbump after updating graphics/ilmbase, graphics/openexr, textproc/icu. |
| 2013-04-20 10:21:49 by Jaap Boender | Files touched by this commit (2) |
Log message: Updated package to the latest version, 8.4pl2. Changes include: Bug fixes - Solved bugs : #2466 #2629 #2668 #2750 #2839 #2869 #2954 #2955 #2959 #2962 #2966 #2967 #2969 #2970 #2975 #2976 #2977 #2978 #2981 #2983 #2995 #3000 #3004 #3008 - Partially fixed bugs : #2830 #2949 - Coqtop should now react more reliably when receiving interrupt signals: all the "try...with" constructs have been protected against undue handling of the Sys.Break exception. Coqide - The Windows-specific code handling the interrupt button of Coqide had to be reworked (cf. bug #2869). Now, in Win32 this button does not target a specific coqtop client, but instead sends a Ctrl-C to any process sharing its console with Coqide. To avoid awkward effects, it is recommended to launch Coqide via its icon, its menu, or in a dedicated console window. Extraction - The option Extraction AccessOpaque is now set by default, restoring compatibility of older versions of Coq (cf bug #2952). |
| 2013-02-16 12:25:34 by Thomas Klausner | Files touched by this commit (1885) |
Log message: Recursive bump for png-1.6. |
2013-02-07 00:24:19 by Jonathan Perkin | Files touched by this commit (1351) |  |
Log message: PKGREVISION bumps for the security/openssl 1.0.1d update. |
| 2013-01-29 06:46:42 by Thomas Klausner | Files touched by this commit (1) |
Log message: Fix MASTER_SITES. |
| 2013-01-26 22:39:22 by Adam Ciarcinski | Files touched by this commit (1280) |
Log message: Revbump after graphics/jpeg and textproc/icu |
| 2013-01-22 16:32:03 by Jaap Boender | Files touched by this commit (4) |
Log message: Updated lang/coq to the newest version, 8.4pl1. Changes include: Bug fixes - Solved bugs : #2851 #2863 #2865 #2893 #2895 #2892 #2905 #2906 #2907 #2917 #2921 #2930 #2941 #2878 - Partially fixed bug : #2904 - Various fixes concerning coq_makefile Optimizations - "Union by rank" optimization for universes contributed by J.H. Jourdan and G. Sherrer (see union-find-and-coq-universes on gagallium blog). Libraries - Internal organisation of some modular libraries have slightly changed due to bug #2904 (GenericMinMax, OrdersTac) - No more constant "int" in ZArith/Int.v to avoid name clash with OCaml (cf bug #2878). Coqide - Improved shutdown of coqtop processes spawned by coqide (in particular added a missing close_on_exec primitive before forking). - On windows, launching coqide with the -debug option now produces a log file in the user's temporary directory. The location of this log file is displayed in the "About" message. |
New packages: