cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
54,351 Commits 1 Branch 0 Tags 554 MiB
e23c09e9d6
Commit Graph

54351 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
kevlo
e23c09e9d6 Initial import of stp 0.1. 
STP is a constraint solver (also referred to as a decision procedure
or automated prover) aimed at solving constraints generated by program
analysis tools, theorem provers, automated bug finders, intelligent
fuzzers and model checkers.

ok benoit@
 2009-12-17 09:43:28 +00:00
ajacoutot
ca2f8503b6 Maintenance update to gnome-games-2.28.2. 
Some bugfixes and several translation updates.
 2009-12-17 09:10:02 +00:00
ajacoutot
f572800738 Bugfix update to eog-2.28.2. 2009-12-17 08:18:12 +00:00
benoit
88fd6621b2 +py-proj 2009-12-16 22:21:12 +00:00
benoit
1aa78b7c3d import py-proj; 
Performs cartographic transformations between geographic (lat/lon)
and map projection (x/y) coordinates. Can also transform directly
from one map projection coordinate system to another.
Coordinates can be given as numpy arrays, python arrays, lists or
scalars.

ok landry@, eric@, ajacoutot@
 2009-12-16 22:18:37 +00:00
naddy
1e57a4ad57 openal now pulls in libsndio rather than libossaudio 2009-12-16 21:13:24 +00:00
naddy
21d6a138b6 fix function names in backend 2009-12-16 21:12:20 +00:00
naddy
aa242e42a2 use sndio instead of ossaudio; small correction and ok jakemsr@ 2009-12-16 20:00:41 +00:00
ajacoutot
03d748c4b3 Second part of zarafa update: zarafa-webaccess-6.30.6 2009-12-16 18:41:25 +00:00
ajacoutot
97e3628241 Upgrade to zarafa-6.30.6. 
Lots of bug fixes, changelog available at:
    http://download.zarafa.com/zarafa/release/docs/changelog.en.txt
 2009-12-16 18:39:11 +00:00
jasper
b269775226 - update gamgi to 0.14.3 2009-12-16 17:59:43 +00:00
ajacoutot
85e459adf6 Maintenance update to evince-2.28.2. 2009-12-16 17:20:47 +00:00
ajacoutot
3b2b6bca3f Bugfix update to libsoup-2.28.2. 2009-12-16 16:25:49 +00:00
kili
ccdc1f609c Tell configure to use -lm. 
Adjust WANTLIB and bump.
 2009-12-16 15:09:19 +00:00
benoit
c0137abec5 - update luarings to 1.2.2 
ok ajacoutot@
 2009-12-16 15:05:14 +00:00
pea
b9d0ef45fe + fix completion for tmux 
+ add completion for pfctl

"looks good" sthen@
 2009-12-16 15:03:28 +00:00
kili
f85afedfdd Tell configure to use -lm. 
Adjust WANTLIB-motif and bump.
 2009-12-16 14:59:40 +00:00
benoit
68d9dba63a - update luaevent to 0.2.0 
- update HOMEPAGE
- update license

ok ajacoutot@
 2009-12-16 14:59:10 +00:00
kili
cb5872132f Tell configure to use -lm. 
While here, adjust WANTLIB and bump.
 2009-12-16 14:46:57 +00:00
pea
500570cb81 Update to 8.4.2 
Please note:
if you have any hash indexes, you should REINDEX them after updating to 8.4.2,
to repair possible damage.

Changelog:
http://www.postgresql.org/docs/current/static/release-8-4-2.html

ok sthen@
 2009-12-16 14:34:58 +00:00
kili
1a16b2629d Adjust WANTLIB after openmotif update and bump. 2009-12-16 14:33:47 +00:00
kili
ea761357e1 Add -lm to unbreak after openmotif update. 
Adjust WANTLIB and bump.
 2009-12-16 14:20:48 +00:00
kili
3cc74d2e32 Tell configure to use -lm. 
Fixes the detection of openmotif after the latest update.
 2009-12-16 14:00:23 +00:00
ajacoutot
5885d79b57 Update to epiphany-2.28.2. 
Regen wantlib while here.
 2009-12-16 11:47:11 +00:00
ajacoutot
143f5b2bb4 Minor update to gnome-user-docs-2.28.2. 2009-12-16 07:51:41 +00:00
jakemsr
62e960b925 update to xmp-3.0.0 
from Alexandr Shadchin
 2009-12-16 07:49:29 +00:00
ajacoutot
5efc5bd19b Minor update to gcalctool-5.28.2. 2009-12-16 07:29:04 +00:00
sturm
95a6cfd757 update to getmail 4.15.0 2009-12-16 06:32:56 +00:00
okan
8cccf690ad - update HOMEPAGE 
- add PLIST marker while here

ok sthen@
 2009-12-15 21:59:05 +00:00
kili
3e1e41797d Bump this one, too. 2009-12-15 21:53:53 +00:00
kili
f4d41d75a9 Bump pkgname. ok espie. 2009-12-15 21:47:59 +00:00
benoit
8bf6541c38 - update openbox to 3.4.8 
- bump libs
- update WANTLIB
- regen PLIST & patch

ok ajacoutot@
 2009-12-15 21:05:27 +00:00
espie
ce8c3b0e44 upgrade path from teTeX 2009-12-15 18:01:57 +00:00
edd
55f93cad4c Fixed xz BUILD_DEPENDS, thanks Thanos Tsouanas for the heads up. 
OK sthen@
 2009-12-15 16:21:18 +00:00
jasper
b7ea26c26b - wrap the patterns into a distfile i mirror, makes this a lot cleaner 
- set DIST_SUBDIR
 2009-12-15 15:33:25 +00:00
giovanni
7417fafe65 Update to 0.5.2 
Some bugs fixed, 2 plugins added.
 2009-12-15 13:55:05 +00:00
sthen
1b7cf23ab3 FLAVOR changes for Exim, reminded by naddy. 2009-12-15 12:53:25 +00:00
espie
710974079e mergemaster has been folded back into base systems. 
Provides updates for teTeX to texlive as well...
 2009-12-15 11:40:48 +00:00
sthen
1ab6ddff29 - update to 4.71 
- tweak MESSAGE/DESCR
- drop no_x11 flavour in favour of an -eximon subpackage and a
pseudo-flavour to disable it
- use iconv by default rather than as a flavour
- drop no_exiscan flavour

from bernd@, Bjorn Ketelaars and myself; ok fkr@ bernd@
 2009-12-15 11:32:18 +00:00
ajacoutot
a6abec7cd4 Maintenance update to nautilus-2.28.4. 
* Fix uninitialized variable
* Fix bug in trash/delete that could cause data loss
 2009-12-15 10:08:00 +00:00
jasper
9fcf2469b9 Security fix for CVE-2009-2688, xemacs: multiple integer overflow flaws. 2009-12-15 10:05:55 +00:00
jasper
c225562c7c - regen 2009-12-15 09:58:47 +00:00
jasper
45220d3a15 SECURITY UPDATE of xmlsec to 1.2.14, use system ltdl instead built-in (vulnerable ltdl). 
(SA37615)
 2009-12-15 09:52:47 +00:00
ajacoutot
0c06d8e9a6 Maintenance update to file-roller-2.28.2. 
* Fixed possible use of uninitialized memory (#604535)
* New and updated translations
 2009-12-15 09:50:32 +00:00
ajacoutot
3e4d6fa079 Maintenance update to hamster-applet-2.28.2. 
* several bug fixes and translation updates
 2009-12-15 09:39:49 +00:00
ajacoutot
1b6e6ccaca Maintenance update to gnome-terminal-2.28.2. 
* Translation updates
 2009-12-15 09:24:19 +00:00
ajacoutot
51024301dc Maintenance update to gucharmap-2.28.2. 2009-12-15 09:16:21 +00:00
jasper
adf83bd3a7 - add highlight patterns for ruby/pgsql/mipsasm 
- regen WANTLIB
- take maintainership
 2009-12-15 08:17:16 +00:00
okan
c33c5fc50d update to 2.5.3 
ok merdely@
 2009-12-15 03:22:37 +00:00
jasper
4748c8e8d4 - add png and jpeg support 2009-12-14 21:51:52 +00:00