FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

I am looking for an LTO tape library. Do you have one to spare?
found something from the cache
non port: head/devel/gecode/distinfo
SVNWeb

Number of commits found: 7

Fri, 7 Nov 2014
[ 16:03 robak ] Original commit 
372279 devel/gecode/Makefile
372279 devel/gecode/distinfo
372279 devel/gecode/pkg-plist
devel/gecode: update 4.3.0 -> 4.3.2

Approved by:	mentors (implicit)
Thu, 25 Sep 2014
[ 12:21 vanilla ] Original commit 
369244 devel/gecode/Makefile
369244 devel/gecode/distinfo
369244 devel/gecode/pkg-plist
Update to version 4.3.0.

PR:		ports/193895
Submitted by:	Ports Fury.
Thu, 27 Feb 2014
[ 09:13 miwi ] Original commit 
346288 devel/gecode/Makefile
346288 devel/gecode/distinfo
346288 devel/gecode/files
346288 devel/gecode/files/patch-Makefile.in
346288 devel/gecode/pkg-plist
- Update to 4.2.1

PR:		186739
Submitted by:	Ports Fury
Sat, 31 Mar 2012
[ 07:18 wen ] Original commit 
1.6 devel/gecode/Makefile
1.4 devel/gecode/distinfo
1.4 devel/gecode/pkg-plist
1.2 devel/rubygem-dep_selector/Makefile
- Update devel/gecode to 3.7.3

Feature safe:   yes
Sat, 24 Mar 2012
[ 16:25 miwi ] Original commit 
1.5 devel/gecode/Makefile
1.3 devel/gecode/distinfo
1.4 devel/gecode/files/patch-configure
1.3 devel/gecode/pkg-plist
- Update to 3.7.2

PR:             166023
Submitted by:   Ports Fury
Feature safe:   yes
Fri, 11 Feb 2011
[ 15:02 roam ] Original commit 
1.3 devel/gecode/Makefile
1.2 devel/gecode/distinfo
1.3 devel/gecode/files/patch-configure
1.2 devel/gecode/pkg-plist
Update to gecode-3.5.0 and add optional QT and GIST support.
Mon, 24 Jan 2011
[ 14:14 roam ] Original commit 
1.4203 devel/Makefile
1.1 devel/gecode/Makefile
1.1 devel/gecode/distinfo
1.1 devel/gecode/files/patch-configure
1.1 devel/gecode/pkg-descr
1.1 devel/gecode/pkg-plist
Add gecode-3.4.2, the Generic Constraint Development Environment.

WWW:            http://www.gecode.org/
Feature safe:   yes

Number of commits found: 7

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
asterisk11Jan 29
asterisk13Jan 29
asterisk13Jan 29
linux_base-c6Jan 28
linux_base-f10Jan 28
bugzilla44Jan 26
py-django*Jan 24
py-django-devel*Jan 24
libresslJan 22
linux-c6-openssl*Jan 22
mingw32-openssl*Jan 22
openssl*Jan 22
chromiumJan 21
polarsslJan 19
polarssl13Jan 19

11 vulnerabilities affecting 19 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24501
Broken 91
Deprecated 31
Ignore 338
Forbidden 1
Restricted 207
No CDROM 93
Vulnerable 19
Expired 0
Set to expire 26
Interactive 0
new 24 hours 3
new 48 hours7
new 7 days21
new fortnight49
new month121

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.