summaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2007-12-01Remove ex-MASTER_SITE.wiz1-2/+1
2007-12-01s/header.txt/header.php/gadrianp1-3/+4
++PKGREVISION
2007-12-01+USE_TOOLS+=perladrianp1-1/+3
PKGREVISION++
2007-12-01Updated net/unison-devel to 2.27.48tonio1-1/+2
2007-12-01Update net/unison-devel to 2.27.48tonio2-6/+7
Mostly bugfixes
2007-12-01The Python programs for the dbus option need the py-dbus package. Patchrillig2-2/+6
by Brian de Alwis on pkgsrc-users.
2007-12-01Fixed invalid lvalue.rillig2-1/+17
2007-12-01Updated www/firefox, www/firefox-bin and www/firefox-gtk1 to 2.0.0.11.ghen1-1/+4
2007-12-01Update firefox, firefox-bin and firefox-gtk1 to 2.0.0.11.ghen4-24/+18
This update fixes a bug introduced by the 2.0.0.10 update in the <canvas> feature that affected some web pages and extensions. For more info, see http://www.mozilla.com/en-US/firefox/2.0.0.11/releasenotes/
2007-12-01Made the package build with gcc4.rillig4-1/+102
2007-12-01I finally found out what the error message "Need libIDL >= 0.6.3" reallyrillig3-2/+17
meant: I need Orbit.
2007-12-01Updated wm/ratpoison to 1.4.2tonio2-3/+3
2007-12-01Update wm/ratpoison to 1.4.2tonio2-6/+7
Changes: * src/main.c (xvsprintf): limit memory allocation to 200K when vsnprintf return -1. (i.e. on pre-1999 systems not distinguising fatal errors and too small buffer). * src/manage.c (get_res_name, get_res_class): remove (update_window_name): call get_class_hints directly to avoid it being called two times. * src/manage.c (get_wmname): always try XmbTextPropertyToTextList first to also support UTF-8 window titles when encoded as XA_STRING * src/main.c (clean_up): call free_user_commands, free_groups only after free_window_stuff * src/window.c (free_window_stuff): remove windows from group lists * src/action.h (free_user_commands): new prototype * src/action.c (set_var_free,user_command_free,free_user_commands): new functions * src/manage.c (get_wmname): free buffer to close memory hole * src/actions.c (cmd_windows): free buffer to close memory hole * src/main.c (init_defaults): only load the backup font when the default font fails. * src/main.c (init_defaults): if the default font fails, use the backup font. * src/conf.h (BACKUP_FONT): new define * src/input.c (update_modifier_map): don't map both super and hyper to the same modifier slot. * src/split.c (set_active_frame): call switch_frame hook (show_frame_indicator): only show frame indicator (set_active_frame): new arg force_indicator. all callers updated. (show_frame_indicator): new arg force. all callers updated. * src/main.c (init_defaults): init bar_in_padding * src/globals.c (rp_switch_screen_hook): new hook * src/data.h (struct rp_defaults): new slot, bar_in_padding * src/bar.c (bar_x): honour bar_in_padding setting (bar_y): likewise * src/actions.c (init_set_vars): add barinpadding (set_barinpadding): new function * src/globals.h: new global rp_switch_screen_hook * src/frame.c (frame_read): fix bug to never set dedicated
2007-12-01Updated devel/py-urwid to 0.9.8.1tonio2-3/+3
2007-12-01Update devel/py-urwid to 0.9.8.1tonio3-11/+14
Full changelog is at http://excess.org/urwid/wiki/ChangeLog - Rendering is now significantly faster. - The curses_display module can now draw in the lower-right corner of the screen. - New Widget base class for all widgets. It includes automatic caching of rows() and render() methods. It also adds a new __super attribute for accessing methods in superclasses. - Widgets must now call self._invalidate() to notify the cache when their content has changed. - To disable caching in a widget set the class variable no_cache to a list that includes the string "render". - Canvas classes have been reorganized: Canvas has been renamed to TextCanvas and Canvas is now the base class for all canvases. New canvas classes include BlankCanvas, SolidCanvas and CompositeCanvas. - All display modules now have start() and stop() methods that may be used instead of calling run_wrapper(). - Many internal string processing functions have been rewritten in C to improve their performance. - Compatible with Python >= 2.2. Python 2.1 is no longer supported. - Improved performance in UTF-8 mode when ASCII text is used. - Added a clear() function to the the display modules to force the screen to be repainted on the next draw_screen() call.
2007-12-01New sentence, new line. Use Nx.wiz1-8/+14
2007-12-01Fixed "static after extern".rillig2-1/+17
2007-12-01If evolution is started to display the calendar of a day clickeddrochner2-1/+33
on in the clock applet, convert the day's start time to UTC first. evolution does only accept UTC times, and since midnight at Greenwich is still the previous day in the US, evolution did show the previous day for US users. See https://bugs.launchpad.net/evolution/+bug/42115 for a discussion. Ubuntu does simply add 12h which works in most cases, but not always in pacific areas. We do it correctly. The Ubuntu fix was proposed by walt per mail to tech-pkg; thanks walt for testing my patch too.
2007-12-01Update mpop to 1.0.12.reed3-7/+10
Add commented out LICENSE line (gnu-gpl-v3). From ChangeLog: Version 1.0.12: - Gnulib update to 2007-11-27. - Don't count already retrieved messages twice. This fixes a segfault when only_new is off and header or size filtering is on. The bug was introduced in the previous change; no released version is affected. - If a filter decides to delete a mail, then additionally mark it as retrieved. This prevents to filter the mail again in a later session when the 'keep' option is set. - Fix default UIDLS file on the W32 platform: Use '\' as directory separator, not '/'. Reported by Ricky Thomas. Version 1.0.11: - Update the license of the source code to GPLv3 or later, and change the license of the documentation to the GFDLv1.2 or later. - Gnulib update to 2007-07-15. - Add new option -Q / --half-quiet to print only status information but no progress information. Suggested by Dimitrios Apostolou. - Set the default timeout to 180 seconds = 3 minutes. This prevents sessions from hanging forever. Suggested by Dimitrios Apostolou. - Make the POP3 commands UIDL, LIST, and DELE abortable. This is useful for mailboxes with many thousand mails. - Update the UIDL state after mail retrieval, and save this state in case of errors in DELE or QUIT. Only update the UIDL state again after successful DELE and QUIT, and then save this state. This prevents an incorrect UIDL state if the DELE commands are aborted, for example. Bug reported by Dimitrios Apostolou. Version 1.0.10: - Fix UIDL handling: the first character of UIDs was ignored. - Improve APOP timestamp checks. Thanks to Carlos Martín Nieto for a discussion of this. - Add documentation on how to find the right CA certificate for tls_trust_file. Thanks to Bryan Kam for suggestions. - Improve the documentation for TLS vs. SSL and STARTTLS vs. POP3-over-TLS. Thanks to Carlos Martín Nieto for suggestions. - Update the spanish translation (Carlos Martín Nieto). Version 1.0.9: - Require either tls_trust_file or tls_certcheck=off for TLS sessions, so that mpop is not silently vulnerable to man-in-the-middle attacks. - Gnulib update 2007-04-07. - Protect against the man-in-the-middle attack on APOP authentication as described in CVE-2007-1558. This is done by doing sanity checks on the APOP timestamp in the server greeting. However, this probably makes attacks only harder. It will not make them impossible. Therefore, APOP authentication is never used automatically anymore unless TLS is active. - Do not use NTLM authentication automatically anymore unless TLS is active. NTLM is not an open standard and must therefore be considered broken. Version 1.0.8: - Move build-aux files to separate directory build-aux. - Gnulib update 2007-03-19. - Improve and generalize workaround for pop.gmail.com RFC violations. This enables automatic pipelining support for pop.gmail.com and some other servers. - Provide a hstrerror() function for systems that lack getaddrinfo() (so that gethostbyname() must be used instead) and that do not provide hstrerror() themselves. Needed for Solaris 2.6. Reported and tested by Chris Green.
2007-12-01Updated time/devtodo to 0.1.20rillig1-1/+2
2007-12-01Updated devtodo to 0.1.20.rillig2-6/+6
0.1.20 - A few bugfixes. - Added XML declaration parsing/saving. This is a stop-gap at best, but will hopefully be useful to some. - Removed reliance on builtin regex library. Hopefully the completely broken version of glibc that instigated the inclusion of it is now out of circulation. - Fixed a whole bunch of compiler warnings on more recent GCC versions. - --not-done now marks sub-tasks as not done. Thanks to an anonymous user for picking this up. 0.1.19 - Updated my E-Mail address after about a year of having the wrong one :) - Removed informational message at top of .todo files as it was rather useless and actually annoying to some people placing their .todo files under version control systems. - Added a XSLT -> XHTML+CSS transform from Francesco Poli. - Added a bash completion script from the Gentoo projects maintainer Aaron Walker. - Fixed seg fault visible on 64-bit systems but present on all. Thanks to the Debian project for notifying me and providing a fix.
2007-12-01The buildlink3.mk file needs to know the options of the package,rillig1-1/+9
especially dbus. Patch by Jan Kryl on pkgsrc-users.
2007-12-01Fixed build with g++4.rillig3-1/+28
2007-12-01Fixed "extra qualification".rillig2-1/+15
2007-12-01Fixed "extra qualification".rillig2-1/+15
2007-12-01Update version to 3.1.5.gdt2-8/+9
Use "(use-modules (ice-9 slib))" to load guile.init so it's in the correct module. Change PLIST to reflect actual location of slibcat in share/guile/site rather than 1.8.
2007-12-01Two patches, so that the package builds with g++4.rillig3-1/+42
2007-12-01Updated lang/ocamlduce to 3.10.0tonio1-1/+2
2007-12-01Update lang/ocamlduce to 3.10.0tonio2-6/+8
This update lets ocamlduce work with ocaml 3.10
2007-12-01Updated converters/bibtex2html to 1.88tonio2-3/+3
2007-12-01Update converters/bibtex2html to 1.88tonio2-6/+7
Changes: Version 1.88, 20/11/2007 ======================== o new option -revkeys to number entries in reverse order (patch by Walter Guttmann) o fixed bug with '\ ' (backslash space) introduced in version 1.82 (shows up with -s gerplain) o \c{C}, \"y, \"Y (patch by John Kewley) o \k (using unicode entities, patch by John Kewley) Version 1.87, 16/07/2007 ======================== o \hat o \mathfrak (supported but no font change, as for \mathcal ad \mathbb) o \~a, \~A, \~o, and \~O o -- translated to &ndash; and --- to &mdash; Version 1.86, 21/03/2007 ======================== o more accents macros: \oe \OE \~ \v \' \r
2007-12-01Fixed "extra qualification".rillig2-1/+26
2007-12-01Adjusted my last patch to apply only for NetBSD >= 4.99.23.rillig2-6/+6
2007-12-01The package name looks weird to me.rillig1-1/+2
2007-12-01Restructured the package so that all source files can be patched.rillig6-40/+68
Fixed build failures with g++4.
2007-12-01Fixed invalid lvalue cast and reminded the programmers that the returnrillig2-6/+26
value of sscanf needs to be checked.
2007-12-01Don't let the build fail because of "pointer targets that differ inrillig1-2/+3
signedness".
2007-12-01Homepage and Download site changed.rillig1-3/+3
2007-12-01Maybe it's better to keep the directory for the *.maude files as it wasrillig2-12/+12
before the update.
2007-12-01Updated maude to 2.3.rillig5-42/+21
Overview of Changes in Maude alpha88f ===================================== * added commutative unification * fixed free theory instantiation bug * fixed sort calculation of S_Theory terms bug * fixed unification with too many variables bug * added iter theory unification Overview of Changes in Maude alpha88e ===================================== * string, qid and float constants allowed in unification * fixed unify f(X, Y) =? f(Y, X) bug Overview of Changes in Maude alpha88d ===================================== * set trace builtin on/off command * state caching in strategy language * first suppport for unification Overview of Changes in Maude alpha88c ===================================== * extra advisories in metalevel * min/max operators in FLOAT * slight change to search semantics * metalevel projection functions now support parameterized metamodules * fixed kind printing bug in metaPrettyPrint() * erwrite supports limit and continue Overview of Changes in Maude alpha88b ===================================== * minor syntactic changes to appease gcc 4.1 * minor importation changes in prelude.maude and model-checker.maude * fixed extension tracing bugs in search/model checker, strategy language and metalevel * revised/extended strategy language; cont now works with srew * fixed trace condition bug Overview of Changes in Maude alpha88a ===================================== * many changes to the prelude to fix unsoundness concerns * process based reimplementation of strategy language * better overparsing for operator declarations * fixed bug with views mapping to terms from FLOAT/STRING/QID * fixed bug in AU unique collapse matcher * fixed bug that allowed parsing of parameterized theories * fixed upModule() bug affecting renamings * fixed metaXmatch() kind bug introduced by alpha86 fix * subset tests for SET and SET* * predefined term ordering module Overview of Changes in Maude alpha88 ==================================== * fixed more sufficient completeness issues * search command now takes a depth bound * added metaNormalize() * added machine ints module Overview of Changes in Maude alpha87a ===================================== * fixed bug in ! strategy combinator * fixed long standing bug in look up code for assoc ops Overview of Changes in Maude alpha87 ==================================== * crude first version of strategy language Overview of Changes in Maude 2.2 (alpha86e) =========================================== * fixed long standing metalevel prec bug Overview of Changes in Maude alpha86d2 ====================================== * reorganized metalevel list sorts to fix sufficient completeness problem Overview of Changes in Maude alpha86d ===================================== * fixed stale pointer bug in view reevaluation * minor fixes to prelude.maude * fixed uninitialized format attribute bug * fixed parameter theory module expression memory leak * fixed polymorph identity memory leak * fixed polymorph identity processing bug * added and used QID-SET fmod * fixed metamodule cache deletion bug * sortLeq and lesserSort now work on types Overview of Changes in Maude alpha86c ===================================== * improved recovery from surface syntax errors * added DEFAULT fth, various views and ARRAY fmod * added LIST-AND-SET fmod * added linear Diophantine solver * warn about object level duplicate attributes * fixed backquote in created module name bug * fixed view ACU op->term mapping bug * added -no-wrap command line option * disallow parameter passing in nonfinal instantiations * allow renaming of modules with bound parameters Overview of Changes in Maude alpha86b ===================================== * module garbage collection bug fixed * metasummation bug fixed * target modules with free parameters no longer allowed in views * illegal importations no longer tolerated * views can no longer map module defined stuff * renamings can no longer map parameter defined stuff * operator mappings now allowed in views * dependency tracking supports views * meta support for parameterization * identity elements added for various structures in prelude Overview of Changes in Maude alpha86a ===================================== * fixed parameter checking bug for modules with both free and bound parameters * structured sorts printed correctly in various places * theory-views now pushed into parameterized sorts * new naming convention for otf modules * bound parameter instantiation now handled like Full Maude * -no-advise command line flag * declined messages to external objects generate advisories Overview of Changes in Maude alpha86 ==================================== * fixed loop mode \/ bug * metaPrettyPrint() now supports options * preregularity and constructor consistancy errors now produce a single informative warning * set trace rewrite and set trace body options * fixed metaXmatch() kind clash bug * SO_REUSEADDR flag set on server sockets * first attempt at parameterization in module system Overview of Changes in Maude alpha85a ===================================== * fixed more sufficient completeness issues in the prelude * metadata attribute now allowed for operator declarations * added crude support for sockets as external objects Overview of Changes in Maude alpha85 ==================================== * added min/max functions to number hierarchy * fixed bug in up'ing FloatOpSymbol hook * fixed sufficient completeness issues in the prelude * fixed a bug in up'ing terms which gave kind variables the wrong sort * glbSorts() now handles kinds * show profile now includes percentages * show path labels command added * metaSearchPath() added * set clear rules on/off command added * maximalAritySet() added Overview of Changes in Maude alpha84d ===================================== * fixed 0.0 ^ -1.0 bug * module selectors now support theories Overview of Changes in Maude alpha84c ===================================== * added random number generation * added counters * trace applications in metaApply()/metaXapply()
2007-12-01Updated lang/coq to 8.1pl2tonio1-1/+2
2007-12-01Update lang/coq to 8.2pl2tonio5-16/+42
As camlp5 is required with ocaml 3.10, bring it as a dependency anyway, instead of requiring ocaml 3.10 Changes include: * Installation - Support for compilation with ocaml 3.10 and (transitional) camlp5. - Many bugs have been fixed (cf coq-bugs web page) - All known failures of ROmega have been fixed. It should now be a faithful and quicker replacement for Omega (except when nat parts are involved). ROmega and Omega now handle <->. - Better computational behavior of some constants (eq_nat_dec and le_lt_dec more efficient, Z_lt_le_dec and Positive_as_OT.compare transparent) [exceptionally source of incompatibilities]. - Loading FSets/FMap used to open unwanted scopes of integer datatypes (see bug #1347). These scopes may need to be manually opened now.
2007-12-01static functions must not be declared inside functions.rillig2-5/+17
2007-12-01Needs pre-created directories.rillig2-4/+6
2007-12-01Added lang/camlp5 version 5.01tonio1-1/+2
2007-12-01enable camlp5tonio1-1/+2
2007-12-01Add lang/camlp5 version 5.01tonio6-0/+190
Camlp5 is a preprocessor and pretty-printer for OCaml programs. It also provides parsing and printing tools. As a preprocessor, it allows to: - extend the syntax of OCaml, - redefine the whole syntax of the language. As a pretty printer, it allows to: - display OCaml programs in an elegant way, - convert from one syntax to another, - check the results of syntax extensions. Camlp5 also provides some parsing and pretty printing tools: - extensible grammars - extensible printers - stream parsers and lexers - pretty print module It works as a shell command and can also be used in the OCaml toplevel.
2007-12-01Cleaned up the package. The only functional change is that the man/man3rillig1-21/+11
directory is created, which means that all files are properly installed.
2007-12-01There is also a Finnish translation. PKGREVISION++rillig2-3/+4
2007-12-01Updated lang/gprolog to 1.3.0rillig1-1/+2