summaryrefslogtreecommitdiff
path: root/lang
AgeCommit message (Collapse)AuthorFilesLines
2016-07-09Remove python33: adapt all packages that refer to it.wiz6-16/+16
2016-07-09Removed unnecessary space after variable name, to fix pkglint warning.rillig1-2/+2
2016-07-09Let pkglint fix indentation of preprocessing directives.rillig3-62/+62
2016-07-09Bump PKGREVISION for perl-5.24.0 for everything mentioning perl.wiz37-67/+74
2016-07-07Use CC for linking. Fixes SunOS SSP builds.jperkin2-1/+17
2016-07-07Use the GCC front-end for linking on SunOS, resolves issues with SSPjperkin3-5/+15
and passing incompatible ld arguments. Bump PKGREVISION.
2016-07-06Update lang/py27-html-docs to 2.7.12leot2-7/+7
No changelog available.
2016-07-06Fix _XOPEN_SOURCE failure on SunOS.jperkin2-1/+18
2016-07-06Move profiling files to the correct PLIST.jperkin3-7/+7
2016-07-06Restore PKGSRC_USE_SSP test to the version before the update to 5.4.0,wiz1-2/+2
so it works again (at least for me; if it doesn't for you, please let me know).
2016-07-05Update gcc5 to 5.4.0 and gcc5-libs to 5.4.0nb1ryoon5-28/+11
Changelog: * Many bugs are fixed
2016-07-05Allow passing LIBZ in the environment. Skip checking libinstrument.sojperkin3-2/+19
which is resolved at runtime. Fixes build on SunOS at least.
2016-07-05LAGS are not FLAGS.dholland1-2/+2
2016-07-03Bump PKGREVISION for patches.dholland1-2/+2
2016-07-03Sync new patches from main smlnj package; they all apply.dholland12-6/+241
2016-07-03Patch up some compiler warnings in the hope of fixing the crashy build.dholland12-6/+241
No such luck though...
2016-07-03Honor pkgsrc CFLAGS in all configs, not just some.dholland38-8/+552
2016-07-03Store brand new configs in ${FILESDIR}, not as patches.dholland12-132/+108
2016-07-03Remove leftover file. This is not used, which is good because it'sdholland2-30/+0
also out of date.
2016-07-03Don't pass FILESDIR into the build; it isn't used and isn't appropriate.dholland2-8/+2
2016-07-03Honor the pkgsrc configure shell instead of using /bin/sh, as on somedholland6-20/+76
platforms /bin/sh gets one something uselessly broken. Also, don't set MAKE to Solaris's make on Solaris; while this might be necessary building standalone, in pkgsrc it's foolish.
2016-07-03Use BUILD_ENV properly.dholland2-8/+22
2016-07-03Use SUBST instead of manual seddery.dholland2-44/+66
2016-07-03Generate the base/ copy of the runtime from the src/ copy afterdholland1-8/+23
patching, instead of extracting twice.
2016-07-03Remove duplicate patches. Patch only the src/ copy of the runtime.dholland7-149/+1
Instead of extracting the runtime twice for src/ and base/ and then haphazardly patching either or both copies, patch only one copy and create the other *after* patching. (better yet would be not to copy the thing at all, but I think there are smlnj reasons you can't do that)
2016-07-03Generate the base/ copy of the runtime from the src/ copy afterdholland1-8/+23
patching, instead of extracting twice.
2016-07-03Remove duplicate patches. Patch only the src/ copy of the runtime.dholland6-133/+1
Instead of extracting the runtime twice for src/ and base/ and then haphazardly patching either or both copies, patch only one copy and create the other *after* patching. (better yet would be not to copy the thing at all, but I think there are smlnj reasons you can't do that)
2016-07-03Sync 32-on-64 hacks from main smlnj package.dholland3-11/+16
2016-07-03Add missing rcsid.dholland1-0/+1
2016-07-03Sync newer patches (mostly the time handling fixes) from base smlnj package.dholland11-3/+256
2016-07-03Rename patch-ac to match main smlnj package.dholland2-13/+24
2016-07-03Sync patch comments from main smlnj package.dholland11-12/+31
2016-07-03sync pkglint-type changes from main smlnj packagedholland2-7/+9
2016-07-03Sync ONLY_FOR logic from base smlnj package.dholland1-6/+20
2016-07-03+smlnj11072dholland1-1/+2
2016-07-03Add a copy of smlnj from before the last update (so, 110.72) becausedholland26-0/+989
this version builds and runs on NetBSD/i386. (Yes, the update was years back. This is what happens with packages that don't build on amd64...)
2016-07-02Changes 3.4.5:adam3-11/+12
Core and Builtins Issue 26478: Fix semantic bugs when using binary operators with dictionary views and tuples. Issue 26171: Fix possible integer overflow and heap corruption in zipimporter.get_data(). Library Issue 26556: Update expat to 2.1.1, fixes CVE-2015-1283. Fix TLS stripping vulnerability in smptlib, CVE-2016-0772. Reported by Team Oststrom Issue 25939: On Windows open the cert store readonly in ssl.enum_certificates. Issue 26012: Don’t traverse into symlinks for ** pattern in pathlib.Path.[r]glob(). Issue 24120: Ignore PermissionError when traversing a tree with pathlib.Path.[r]glob(). Patch by Ulrich Petri. Skip getaddrinfo if host is already resolved. Patch by A. Jesse Jiryu Davis. Add asyncio.timeout() context manager. Issue 26050: Add asyncio.StreamReader.readuntil() method. Patch by Марк Коренберг. Tests Issue 25940: Changed test_ssl to use self-signed.pythontest.net. This avoids relying on svn.python.org, which recently changed root certificate.
2016-07-02Changes 3.5.2:adam6-46/+65
Issue 27066: Fixed SystemError if a custom opener (for open()) returns a negative number without setting an exception. Issue 20041: Fixed TypeError when frame.f_trace is set to None. Patch by Xavier de Gaye. Issue 26168: Fixed possible refleaks in failing Py_BuildValue() with the “N” format unit. Issue 26991: Fix possible refleak when creating a function with annotations. Issue 27039: Fixed bytearray.remove() for values greater than 127. Patch by Joe Jevnik. Issue 23640: int.from_bytes() no longer bypasses constructors for subclasses. Issue 26811: gc.get_objects() no longer contains a broken tuple with NULL pointer. Issue 20120: Use RawConfigParser for .pypirc parsing, removing support for interpolation unintentionally added with move to Python 3. Behavior no longer does any interpolation in .pypirc files, matching behavior in Python 2.7 and Setuptools 19.0. Issue 26659: Make the builtin slice type support cycle collection. Issue 26718: super.__init__ no longer leaks memory if called multiple times. NOTE: A direct call of super.__init__ is not endorsed! Issue 25339: PYTHONIOENCODING now has priority over locale in setting the error handler for stdin and stdout. Issue 26494: Fixed crash on iterating exhausting iterators. Affected classes are generic sequence iterators, iterators of str, bytes, bytearray, list, tuple, set, frozenset, dict, OrderedDict, corresponding views and os.scandir() iterator. Issue 26581: If coding cookie is specified multiple times on a line in Python source code file, only the first one is taken to account. Issue 26464: Fix str.translate() when string is ASCII and first replacements removes character, but next replacement uses a non-ASCII character or a string longer than 1 character. Regression introduced in Python 3.5.0. Issue 22836: Ensure exception reports from PyErr_Display() and PyErr_WriteUnraisable() are sensible even when formatting them produces secondary errors. This affects the reports produced by sys.__excepthook__() and when __del__() raises an exception. Issue 26302: Correct behavior to reject comma as a legal character for cookie names. Issue 4806: Avoid masking the original TypeError exception when using star (*) unpacking in function calls. Based on patch by Hagen Fürstenau and Daniel Urban. Issue 27138: Fix the doc comment for FileFinder.find_spec(). Issue 26154: Add a new private _PyThreadState_UncheckedGet() function to get the current Python thread state, but don’t issue a fatal error if it is NULL. This new function must be used instead of accessing directly the _PyThreadState_Current variable. The variable is no more exposed since Python 3.5.1 to hide the exact implementation of atomic C types, to avoid compiler issues. Issue 26194: Deque.insert() gave odd results for bounded deques that had reached their maximum size. Now an IndexError will be raised when attempting to insert into a full deque. Issue 25843: When compiling code, don’t merge constants if they are equal but have a different types. For example, f1, f2 = lambda: 1, lambda: 1.0 is now correctly compiled to two different functions: f1() returns 1 (int) and f2() returns 1.0 (int), even if 1 and 1.0 are equal. Issue 22995: [UPDATE] Comment out the one of the pickleability tests in _PyObject_GetState() due to regressions observed in Cython-based projects. Issue 25961: Disallowed null characters in the type name. Issue 25973: Fix segfault when an invalid nonlocal statement binds a name starting with two underscores. Issue 22995: Instances of extension types with a state that aren’t subclasses of list or dict and haven’t implemented any pickle-related methods (__reduce__, __reduce_ex__, __getnewargs__, __getnewargs_ex__, or __getstate__), can no longer be pickled. Including memoryview. Issue 20440: Massive replacing unsafe attribute setting code with special macro Py_SETREF. Issue 25766: Special method __bytes__() now works in str subclasses. Issue 25421: __sizeof__ methods of builtin types now use dynamic basic size. This allows sys.getsize() to work correctly with their subclasses with __slots__ defined. Issue 25709: Fixed problem with in-place string concatenation and utf-8 cache. Issue 27147: Mention PEP 420 in the importlib docs. Issue 24097: Fixed crash in object.__reduce__() if slot name is freed inside __getattr__. Issue 24731: Fixed crash on converting objects with special methods __bytes__, __trunc__, and __float__ returning instances of subclasses of bytes, int, and float to subclasses of bytes, int, and float correspondingly. Issue 26478: Fix semantic bugs when using binary operators with dictionary views and tuples. Issue 26171: Fix possible integer overflow and heap corruption in zipimporter.get_data(). Issue 25660: Fix TAB key behaviour in REPL with readline. Issue 25887: Raise a RuntimeError when a coroutine object is awaited more than once. Issue 27243: Update the __aiter__ protocol: instead of returning an awaitable that resolves to an asynchronous iterator, the asynchronous iterator should be returned directly. Doing the former will trigger a PendingDeprecationWarning. more...
2016-07-02Changes 2.7.2:adam5-31/+34
Core and Builtins ----------------- - Issue 20041: Fixed TypeError when frame.f_trace is set to None. Patch by Xavier de Gaye. - Issue 25702: A --with-lto configure option has been added that will enable link time optimizations at build time during a make profile-opt. Some compilers and toolchains are known to not produce stable code when using LTO, be sure to test things thoroughly before relying on it. It can provide a few % speed up over profile-opt alone. - Issue 26168: Fixed possible refleaks in failing Py_BuildValue() with the "N" format unit. - Issue 27039: Fixed bytearray.remove() for values greater than 127. Patch by Joe Jevnik. - Issue 4806: Avoid masking the original TypeError exception when using star (*) unpacking and the exception was raised from a generator. Based on patch by Hagen Fürstenau. - Issue 26659: Make the builtin slice type support cycle collection. - Issue 26718: super.__init__ no longer leaks memory if called multiple times. NOTE: A direct call of super.__init__ is not endorsed! - Issue 13410: Fixed a bug in PyUnicode_Format where it failed to properly ignore errors from a __int__() method. - Issue 26494: Fixed crash on iterating exhausting iterators. Affected classes are generic sequence iterators, iterators of bytearray, list, tuple, set, frozenset, dict, OrderedDict and corresponding views. - Issue 26581: If coding cookie is specified multiple times on a line in Python source code file, only the first one is taken to account. - Issue 22836: Ensure exception reports from PyErr_Display() and PyErr_WriteUnraisable() are sensible even when formatting them produces secondary errors. This affects the reports produced by sys.__excepthook__() and when __del__() raises an exception. - Issue 22847: Improve method cache efficiency. - Issue 25843: When compiling code, don't merge constants if they are equal but have a different types. For example, ``f1, f2 = lambda: 1, lambda: 1.0`` is now correctly compiled to two different functions: ``f1()`` returns ``1`` (``int``) and ``f2()`` returns ``1.0`` (``int``), even if ``1`` and ``1.0`` are equal. - Issue 22995: [UPDATE] Remove the one of the pickleability tests in _PyObject_GetState() due to regressions observed in Cython-based projects. - Issue 25961: Disallowed null characters in the type name. - Issue 22995: Instances of extension types with a state that aren't subclasses of list or dict and haven't implemented any pickle-related methods (__reduce__, __reduce_ex__, __getnewargs__, __getnewargs_ex__, or __getstate__), can no longer be pickled. Including memoryview. - Issue 20440: Massive replacing unsafe attribute setting code with special macro Py_SETREF. - Issue 25421: __sizeof__ methods of builtin types now use dynamic basic size. This allows sys.getsize() to work correctly with their subclasses with __slots__ defined. - Issue 19543: Added Py3k warning for decoding unicode. - Issue 24097: Fixed crash in object.__reduce__() if slot name is freed inside __getattr__. - Issue 24731: Fixed crash on converting objects with special methods __str__, __trunc__, and __float__ returning instances of subclasses of str, long, and float to subclasses of str, long, and float correspondingly. - Issue 26478: Fix semantic bugs when using binary operators with dictionary views and tuples. - Issue 26171: Fix possible integer overflow and heap corruption in zipimporter.get_data(). Library ------- - Issue 26556: Update expat to 2.1.1, fixes CVE-2015-1283. - Fix TLS stripping vulnerability in smptlib, CVE-2016-0772. Reported by Team Oststrom - Issue 7356: ctypes.util: Make parsing of ldconfig output independent of the locale. - Issue 25738: Stop BaseHTTPServer.BaseHTTPRequestHandler.send_error() from sending a message body for 205 Reset Content. Also, don't send the Content-Type header field in responses that don't have a body. Based on patch by Susumu Koshiba. - Issue 21313: Fix the "platform" module to tolerate when sys.version contains truncated build information. - Issue 27211: Fix possible memory corruption in io.IOBase.readline(). - Issue 27114: Fix SSLContext._load_windows_store_certs fails with PermissionError - Issue 14132: Fix urllib.request redirect handling when the target only has a query string. Fix by Ján Janech. - Removed the requirements for the ctypes and modulefinder modules to be compatible with earlier Python versions. - Issue 22274: In the subprocess module, allow stderr to be redirected to stdout even when stdout is not redirected. Patch by Akira Li. - Issue 12045: Avoid duplicate execution of command in ctypes.util._get_soname(). Patch by Sijin Joseph. - Issue 26960: Backported 16270 from Python 3 to Python 2, to prevent urllib from hanging when retrieving certain FTP files. - Issue 25745: Fixed leaking a userptr in curses panel destructor. - Issue 17765: weakref.ref() no longer silently ignores keyword arguments. Patch by Georg Brandl. - Issue 26873: xmlrpclib now raises ResponseError on unsupported type tags instead of silently return incorrect result. - Issue 24114: Fix an uninitialized variable in `ctypes.util`. The bug only occurs on SunOS when the ctypes implementation searches for the `crle` program. Patch by Xiang Zhang. Tested on SunOS by Kees Bos. - Issue 26864: In urllib, change the proxy bypass host checking against no_proxy to be case-insensitive, and to not match unrelated host names that happen to have a bypassed hostname as a suffix. Patch by Xiang Zhang. - Issue 26804: urllib will prefer lower_case proxy environment variables over UPPER_CASE or Mixed_Case ones. Patch contributed by Hans-Peter Jansen. - Issue 26837: assertSequenceEqual() now correctly outputs non-stringified differing items. This affects assertListEqual() and assertTupleEqual(). - Issue 26822: itemgetter, attrgetter and methodcaller objects no longer silently ignore keyword arguments. - Issue 26657: Fix directory traversal vulnerability with SimpleHTTPServer on Windows. This fixes a regression that was introduced in 2.7.7. Based on patch by Philipp Hagemeister. - Issue 19377: Add .svg to mimetypes.types_map. - Issue 13952: Add .csv to mimetypes.types_map. Patch by Geoff Wilson. - Issue 16329: Add .webm to mimetypes.types_map. Patch by Giampaolo Rodola'. - Issue 23735: Handle terminal resizing with Readline 6.3+ by installing our own SIGWINCH handler. Patch by Eric Price. - Issue 26644: Raise ValueError rather than SystemError when a negative length is passed to SSLSocket.recv() or read(). - Issue 23804: Fix SSL recv(0) and read(0) methods to return zero bytes instead of up to 1024. - Issue 24266: Ctrl+C during Readline history search now cancels the search mode when compiled with Readline 7. - Issue 23857: Implement PEP 493, adding a Python-2-only ssl module API and environment variable to configure the default handling of SSL/TLS certificates for HTTPS connections. - Issue 26313: ssl.py _load_windows_store_certs fails if windows cert store is empty. Patch by Baji. - Issue 26513: Fixes platform module detection of Windows Server - Issue 23718: Fixed parsing time in week 0 before Jan 1. Original patch by Tamás Bence Gedai. - Issue 26177: Fixed the keys() method for Canvas and Scrollbar widgets. - Issue 15068: Got rid of excessive buffering in the fileinput module. The bufsize parameter is no longer used. - Issue 2202: Fix UnboundLocalError in AbstractDigestAuthHandler.get_algorithm_impls. Initial patch by Mathieu Dupuy. - Issue 26475: Fixed debugging output for regular expressions with the (?x) flag. - Issue 26385: Remove the file if the internal fdopen() call in NamedTemporaryFile() fails. Based on patch by Silent Ghost. - Issue 26309: In the "socketserver" module, shut down the request (closing the connected socket) when verify_request() returns false. Based on patch by Aviv Palivoda. - Issue 25939: On Windows open the cert store readonly in ssl.enum_certificates. - Issue 24303: Fix random EEXIST upon multiprocessing semaphores creation with Linux PID namespaces enabled. - Issue 25698: Importing module if the stack is too deep no longer replaces imported module with the empty one. - Issue 12923: Reset FancyURLopener's redirect counter even if there is an exception. Based on patches by Brian Brazil and Daniel Rocco. - Issue 25945: Fixed a crash when unpickle the functools.partial object with wrong state. Fixed a leak in failed functools.partial constructor. "args" and "keywords" attributes of functools.partial have now always types tuple and dict correspondingly. - Issue 19883: Fixed possible integer overflows in zipimport. - Issue 26147: xmlrpclib now works with unicode not encodable with used non-UTF-8 encoding. - Issue 16620: Fixed AttributeError in msilib.Directory.glob(). - Issue 21847: Fixed xmlrpclib on Unicode-disabled builds. - Issue 6500: Fixed infinite recursion in urllib2.Request.__getattr__(). - Issue 26083: Workaround a subprocess bug that raises an incorrect "ValueError: insecure string pickle" exception instead of the actual exception on some platforms such as Mac OS X when an exception raised in the forked child process prior to the exec() was large enough that it overflowed the internal errpipe_read pipe buffer. - Issue 24103: Fixed possible use after free in ElementTree.iterparse(). - Issue 20954: _args_from_interpreter_flags used by multiprocessing and some tests no longer behaves incorrectly in the presence of the PYTHONHASHSEED environment variable. - Issue 14285: When executing a package with the "python -m package" option, and package initialization raises ImportError, a proper traceback is now reported. - Issue 6478: _strptime's regexp cache now is reset after changing timezone with time.tzset(). - Issue 25718: Fixed copying object with state with boolean value is false. - Issue 25742: :func:`locale.setlocale` now accepts a Unicode string for its second parameter. - Issue 10131: Fixed deep copying of minidom documents. Based on patch by Marian Ganisin. - Issue 25725: Fixed a reference leak in cPickle.loads() when unpickling invalid data including tuple instructions. - Issue 25663: In the Readline completer, avoid listing duplicate global names, and search the global namespace before searching builtins. - Issue 25688: Fixed file leak in ElementTree.iterparse() raising an error. - Issue 23914: Fixed SystemError raised by CPickle unpickler on broken data. - Issue 25924: Avoid unnecessary serialization of getaddrinfo(3) calls on OS X versions 10.5 or higher. Original patch by A. Jesse Jiryu Davis. - Issue 26406: Avoid unnecessary serialization of getaddrinfo(3) calls on current versions of OpenBSD and NetBSD. Patch by A. Jesse Jiryu Davis. IDLE ---- - Issue 5124: Paste with text selected now replaces the selection on X11. This matches how paste works on Windows, Mac, most modern Linux apps, and ttk widgets. Original patch by Serhiy Storchaka. - Issue 24759: Make clear in idlelib.idle_test.__init__ that the directory is a private implementation of test.test_idle and tool for maintainers. - Issue 26673: When tk reports font size as 0, change to size 10. Such fonts on Linux prevented the configuration dialog from opening. - Issue 27044: Add ConfigDialog.remove_var_callbacks to stop memory leaks. - In the 'IDLE-console differences' section of the IDLE doc, clarify how running with IDLE affects sys.modules and the standard streams. - Issue 25507: fix incorrect change in IOBinding that prevented printing. Change also prevented saving shell window with non-ascii characters. Augment IOBinding htest to include all major IOBinding functions. - Issue 25905: Revert unwanted conversion of ' to ’ RIGHT SINGLE QUOTATION MARK in README.txt and open this and NEWS.txt with 'ascii'. Re-encode CREDITS.txt to utf-8 and open it with 'utf-8'. - Issue 26417: Prevent spurious errors and incorrect defaults when installing IDLE 2.7 on OS X: default configuration settings are no longer installed from OS X specific copies. Documentation ------------- - Issue 26736: Used HTTPS for external links in the documentation if possible. - Issue 6953: Rework the Readline module documentation to group related functions together, and add more details such as what underlying Readline functions and variables are accessed. - Issue 26014: Guide users to the newer packaging documentation as was done for Python 3.x. In particular, the top-level 2.7 documentation page now links to the newer installer and distributions pages rather than the legacy install and Distutils pages; these are still linked to in the library/distutils doc page. Tests ----- - Issue 21916: Added tests for the turtle module. Patch by ingrid, Gregory Loyse and Jelle Zijlstra. - Issue 25940: Changed test_ssl to use self-signed.pythontest.net. This avoids relying on svn.python.org, which recently changed root certificate. - Issue 25616: Tests for OrderedDict are extracted from test_collections into separate file test_ordered_dict. Build ----- - Issue 22359: Avoid incorrect recursive $(MAKE), and disable the rules for running pgen when cross-compiling. The pgen output is normally saved with the source code anyway, and is still regenerated when doing a native build. Patch by Jonas Wagner and Xavier de Gaye. - Issue 19450: Update Windows builds to use SQLite 3.8.11.0. - Issue 27229: Fix the cross-compiling pgen rule for in-tree builds. Patch by Xavier de Gaye. - Issue 17603: Avoid error about nonexistant fileblocks.o file by using a lower-level check for st_blocks in struct stat. - Issue 26465: Update Windows builds to use OpenSSL 1.0.2g. - Issue 24421: Compile Modules/_math.c once, before building extensions. Previously it could fail to compile properly if the math and cmath builds were concurrent. - Issue 25824: Fixes sys.winver to not include any architecture suffix. - Issue 25348: Added ``--pgo`` and ``--pgo-job`` arguments to ``PCbuild\build.bat`` for building with Profile-Guided Optimization. The old ``PCbuild\build_pgo.bat`` script is now deprecated, and simply calls ``PCbuild\build.bat --pgo %*``. - Issue 25827: Add support for building with ICC to ``configure``, including a new ``--with-icc`` flag. - Issue 25696: Fix installation of Python on UNIX with make -j9. - Issue 26930: Update OS X 10.5+ 32-bit-only installer to build and link with OpenSSL 1.0.2h. - Issue 26268: Update Windows builds to use OpenSSL 1.0.2f. - Issue 25136: Support Apple Xcode 7's new textual SDK stub libraries. Tools/Demos ----------- - Issue 26799: Fix python-gdb.py: don't get C types once when the Python code is loaded, but get C types on demand. The C types can change if python-gdb.py is loaded before the Python executable. Patch written by Thomas Ilsche. C API ----- - Issue 26476: Fixed compilation error when use PyErr_BadInternalCall() in C++. Patch by Jeroen Demeyer. Misc ---- - Issue 17500, and https://github.com/python/pythondotorg/issues/945: Remove unused and outdated icons.
2016-07-02Updated package to latest version, 8.5pl1. Also fixed a packaging bugjaapb4-13/+28
that had buildlink paths show up in the Coq_config module, and added a patch from upstream to allow compilation with 4.03. Changes: Critical bugfix - The subterm relation for the guard condition was incorrectly defined on primitive projections (#4588) Plugin development tools - add a .merlin target to the makefile Various performance improvements (time, space used by .vo files) Other bugfixes - Fix order of arguments to Big.compare_case in ExtrOcamlZBigInt.v - Added compatibility coercions from Specif.v which were present in Coq 8.4. - Fixing a source of inefficiency and an artificial dependency in the printer in the congruence tactic. - Allow to unset the refinement mode of Instance in ML - Fixing an incorrect use of prod_appvect on a term which was not a product in setoid_rewrite. - Add -compat 8.4 econstructor tactics, and tests - Add compatibility Nonrecursive Elimination Schemes - Fixing the "No applicable tactic" non informative error message regression on apply. - Univs: fix get_current_context (bug #4603, part I) - Fix a bug in Program coercion code - Fix handling of arity of definitional classes. - #4630: Some tactics are 20x slower in 8.5 than 8.4. - #4627: records with no declared arity can be template polymorphic. - #4623: set tactic too weak with universes (regression) - Fix incorrect behavior of CS resolution - #4591: Uncaught exception in directory browsing. - CoqIDE is more resilient to initialization errors. - #4614: "Fully check the document" is uninterruptable. - Try eta-expansion of records only on non-recursive ones - Fix bug when a sort is ascribed to a Record - Primitive projections: protect kernel from erroneous definitions. - Fixed bug #4533 with previous Keyed Unification commit - Win: kill unreliable hence do not waitpid after kill -9 (Close #4369) - Fix strategy of Keyed Unification - #4608: Anomaly "output_value: abstract value (outside heap)". - #4607: do not read native code files if native compiler was disabled. - #4105: poor escaping in the protocol between CoqIDE and coqtop. - #4596: [rewrite] broke in the past few weeks. - #4533 (partial): respect declared global transparency of projections in unification.ml - #4544: Backtrack on using full betaiota reduction during keyed unification. - #4540: CoqIDE bottom progress bar does not update. - Fix regression from 8.4 in reflexivity - #4580: [Set Refine Instance Mode] also used for Program Instance. - #4582: cannot override notation [ x ]. MAY CREATE INCOMPATIBILITIES, see #4683. - STM: Print/Extraction have to be skipped if -quick - #4542: CoqIDE: STOP button also stops workers - STM: classify some variants of Instance as regular `Fork nodes. - #4574: Anomaly: Uncaught exception Invalid_argument("splay_arity"). - Do not give a name to anonymous evars anymore. See bug #4547. - STM: always stock in vio files the first node (state) of a proof - STM: not delegate proofs that contain Vernac(Module|Require|Import), #4530 - Don't fail fatally if PATH is not set. - #4537: Coq 8.5 is slower in typeclass resolution. - #4522: Incorrect "Warning..." on windows. - #4373: coqdep does not know about .vio files. - #3826: "Incompatible module types" is uninformative. - #4495: Failed assertion in metasyntax.ml. - #4511: evar tactic can create non-typed evars. - #4503: mixing universe polymorphic and monomorphic variables and definitions in sections is unsupported. - #4519: oops, global shadowed local universe level bindings. - #4506: Anomaly: File "pretyping/indrec.ml", line 169, characters 14-20: Assertion failed. - #4548: Coqide crashes when going back one command
2016-07-01The recent libarchive update changed the library major. Increase thejperkin2-4/+5
ABI depends and perform a PKGREVISION bump for dependents. Noticed by OSX binary package users.
2016-07-01Update lang/nodejs4 to 4.4.7.fhajny3-37/+59
Notable Changes - debugger: * All properties of an array (aside from length) can now be printed in the repl - npm: * Upgrade npm to 2.15.8 - stream: * Fix for a bug that became more prevalent with the stream changes that landed in v4.4.5. - V8: * Fix for a bug in crankshaft that was causing crashes on arm64 * Add missing classes to postmortem info such as JSMap and JSSet
2016-06-30Switch to direct py-dns dependency.wiz1-2/+1
py-dns now supports all python versions, so versioned_dependencies is not needed any longer.
2016-06-30py-dns supports both py2 and py3 now.wiz1-2/+2
2016-06-30Add lang/coreclrkamil1-1/+2
2016-06-30Import CoreCLR 1.0.0 as lang/coreclrkamil15-0/+1143
This repo contains the .NET Core runtime, called CoreCLR, and the base library, called mscorlib. It includes the garbage collector, JIT compiler, base .NET data types and many low-level classes.
2016-06-24Update lang/nodejs4 to 4.4.6.fhajny2-8/+7
This release is specifically related to a Buffer overflow vulnerability discovered in v8, see CVE-2016-1669
2016-06-24Update php70 to 7.0.8 (PHP 7.0.8), including security fixes.taca4-13/+11
pkgsrc change: * remove confiugre from SUBST_FILES.path. * Remove --with-regex=system and --without-mysql from CONFIGURE_ARGS. * Add --without-mysqli to CONFIGURE_ARGS. 23 Jun 2016 PHP 7.0.8 - Core: . Fixed bug #72218 (If host name cannot be resolved then PHP 7 crashes). (Esminis at esminis dot lt) . Fixed bug #72221 (segfault, past-the-end access). (Lauri Kenttä) . Fixed bug #72268 (Integer Overflow in nl2br()). (Stas) . Fixed bug #72275 (Integer Overflow in json_encode()/json_decode()/ json_utf8_to_utf16()). (Stas) . Fixed bug #72400 (Integer Overflow in addcslashes/addslashes). (Stas) . Fixed bug #72403 (Integer Overflow in Length of String-typed ZVAL). (Stas) - FPM: . Fixed bug #72308 (fastcgi_finish_request and logging environment variables). (Laruence) - GD: . Fixed bug #72298 (pass2_no_dither out-of-bounds access). (Stas) . Fixed bug #72337 (invalid dimensions can lead to crash) (Pierre) . Fixed bug #72339 (Integer Overflow in _gd2GetHeader() resulting in heap overflow). (Pierre) . Fixed bug #72407 (NULL Pointer Dereference at _gdScaleVert). (Stas) - Intl: . Fixed bug #64524 (Add intl.use_exceptions to php.ini-*). (Anatol) - mbstring: . Fixed bug #72402 (_php_mb_regex_ereg_replace_exec - double free). (Stas) - mcrypt: . Fixed bug #72455 (Heap Overflow due to integer overflows). (Stas) - PCRE: . Fixed bug #72143 (preg_replace uses int instead of size_t). (Joe) - PDO_pgsql: . Fixed bug #71573 (Segfault (core dumped) if paramno beyond bound). (Laruence) . Fixed bug #72294 (Segmentation fault/invalid pointer in connection with pgsql_stmt_dtor). (Anatol) - Phpdbg: . Fixed bug #72284 (phpdbg fatal errors with coverage). (Bob) - Postgres: . Fixed bug #72195 (pg_pconnect/pg_connect cause use-after-free). (Laruence) . Fixed bug #72197 (pg_lo_create arbitrary read). (Anatol) - SPL: . Fixed bug #72262 (int/size_t confusion in SplFileObject::fread). (Stas) . Fixed bug #72433 (Use After Free Vulnerability in PHP's GC algorithm and unserialize). (Dmitry) - Standard: . Fixed bug #72017 (range() with float step produces unexpected result). (Thomas Punt) . Fixed bug #72193 (dns_get_record returns array containing elements of type 'unknown'). (Laruence) . Fixed bug #72229 (Wrong reference when serialize/unserialize an object). (Laruence) . Fixed bug #72300 (ignore_user_abort(false) has no effect). (Laruence) - XML: . Fixed bug #72206 (xml_parser_create/xml_parser_free leaks mem). (Joe) - XMLRPC: . Fixed bug #72155 (use-after-free caused by get_zval_xmlrpc_type). (Joe, Laruence) - WDDX: . Fixed bug #72340 (Double Free Courruption in wddx_deserialize). (Stas) - Zip: . Fixed ug #72258 (ZipArchive converts filenames to unrecoverable form). (Anatol) . Fixed bug #72434 (ZipArchive class Use After Free Vulnerability in PHP's GC algorithm and unserialize). (Dmitry)
2016-06-24Update php56 to 5.6.23 (PHP 5.6.23), including security fixes.taca3-9/+9
pkgsrc change: remove confiugre from SUBST_FILES.path. 23 Jun 2016, PHP 5.6.23 - Core: . Fixed bug #72275 (Integer Overflow in json_encode()/json_decode()/ json_utf8_to_utf16()). (Stas) . Fixed bug #72400 (Integer Overflow in addcslashes/addslashes). (Stas) . Fixed bug #72403 (Integer Overflow in Length of String-typed ZVAL). (Stas) - GD: . Fixed bug #72298 (pass2_no_dither out-of-bounds access). (Stas) . Fixed bug #72337 (invalid dimensions can lead to crash) (Pierre) . Fixed bug #72339 (Integer Overflow in _gd2GetHeader() resulting in heap overflow). (Pierre) . Fixed bug #72407 (NULL Pointer Dereference at _gdScaleVert). (Stas) . Fixed bug #72446 (Integer Overflow in gdImagePaletteToTrueColor() resulting in heap overflow). (Pierre) - Intl: . Fixed bug #70484 (selectordinal doesn't work with named parameters). (Anatol) - mbstring: . Fixed bug #72402 (_php_mb_regex_ereg_replace_exec - double free). (Stas) - mcrypt: . Fixed bug #72455 (Heap Overflow due to integer overflows). (Stas) - Phar: . Fixed bug #72321 (invalid free in phar_extract_file()). (hji at dyntopia dot com) - SPL: . Fixed bug #72262 (int/size_t confusion in SplFileObject::fread). (Stas) . Fixed bug #72433 (Use After Free Vulnerability in PHP's GC algorithm and unserialize). (Dmitry) - OpenSSL: . Fixed bug #72140 (segfault after calling ERR_free_strings()). (Jakub Zelenka) - WDDX: . Fixed bug #72340 (Double Free Courruption in wddx_deserialize). (Stas) - zip: . Fixed bug #72434 (ZipArchive class Use After Free Vulnerability in PHP's GC algorithm and unserialize). (Dmitry)
2016-06-24Update php55 to 5.5.37 (PHP 5.5.37), including security fixes.taca3-9/+9
pkgsrc change: remove confiugre from SUBST_FILES.path. 23 Jun 2016, PHP 5.5.37 - Core: . Fixed bug #72268 (Integer Overflow in nl2br()). (Stas) . Fixed bug #72275 (Integer Overflow in json_encode()/json_decode()/ json_utf8_to_utf16()). (Stas) . Fixed bug #72400 (Integer Overflow in addcslashes/addslashes). (Stas) . Fixed bug #72403 (Integer Overflow in Length of String-typed ZVAL). (Stas) - GD: . Fixed bug #66387 (Stack overflow with imagefilltoborder) (CVE-2015-8874). (cmb) . Fixed bug #72298 (pass2_no_dither out-of-bounds access). (Stas) . Fixed bug #72339 (Integer Overflow in _gd2GetHeader() resulting in heap overflow). (Pierre) . Fixed bug #72407 (NULL Pointer Dereference at _gdScaleVert). (Stas) . Fixed bug #72446 (Integer Overflow in gdImagePaletteToTrueColor() resulting in heap overflow). (Pierre) - mbstring: . Fixed bug #72402 (_php_mb_regex_ereg_replace_exec - double free). (Stas) - mcrypt: . Fixed bug #72455 (Heap Overflow due to integer overflows). (Stas) - SPL: . Fixed bug #72262 (int/size_t confusion in SplFileObject::fread). (Stas) . Fixed bug #72433 (Use After Free Vulnerability in PHP's GC algorithm and unserialize). (Dmitry) - WDDX: . Fixed bug #72340 (Double Free Courruption in wddx_deserialize). (Stas) - zip: . Fixed bug #72434 (ZipArchive class Use After Free Vulnerability in PHP's GC algorithm and unserialize). (Dmitry)
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-16 22:35:04 +0000