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

We also have a status page: https://freshports.wordpress.com/

non port: devel/gecode/distinfo
SVNWeb

Number of commits found: 11

Wed, 2 Aug 2017
[ 17:26 joneum ] Original commit   Revision:447125
447125 devel/gecode/Makefile
447125 devel/gecode/distinfo
447125 devel/gecode/pkg-plist
- devel/gecode: Update from 5.0.0 to 5.1.0
- Changelog:
http://www.gecode.org/doc-latest/reference/PageChange.html#SectionChanges_5_1_0

PR:		221083
Submitted by:	Demetris Procopiou <dem.procopiou@gmail.com> (maintainer)
Approved by:	tz (mentor)
Differential Revision:	https://reviews.freebsd.org/D11781
Fri, 10 Feb 2017
[ 15:20 vanilla ] Original commit   Revision:433803
433803 devel/gecode/Makefile
433803 devel/gecode/distinfo
433803 devel/gecode/files/patch-Makefile.in
433803 devel/gecode/pkg-plist
1: Update to 5.0.0.
2: pass MAINTAINER to submitter.

PR:		216803
Submitted by:	dem.procopiou at gmail.com
Sun, 12 Apr 2015
[ 08:48 danfe ] Original commit   Revision:383845
383845 devel/gecode/Makefile
383845 devel/gecode/distinfo
383845 devel/gecode/pkg-plist
- Update to version 4.4.0
- Rename SHLIB plist substitution variable to SHLIB_VERSION and actually
  use it to reduce pkg-plist diffs when updating to the next version
- Standardize Makefile header while I'm here

PR:	199225
Wed, 28 Jan 2015
[ 14:17 shaun ] Original commit   Revision:378062
378062 devel/gecode/Makefile
378062 devel/gecode/distinfo
378062 devel/gecode/pkg-plist
Update from 4.3.2 to 4.3.3.

PR:		197042
Submitted by:	Anton Tornqvist <antont@inbox.lv>
Fri, 7 Nov 2014
[ 16:03 robak ] Original commit   Revision:372279
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   Revision:369244
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   Revision:346288
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: 11

Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
opensslNov 02
openssl-develNov 02
wordpressNov 01
php56Oct 30
php70Oct 30
php71Oct 30
wiresharkOct 30
chromiumOct 28
wgetOct 27
wgetOct 27
openoffice-4*Oct 26
openoffice-devel*Oct 26
gitlabOct 25
nodeOct 25
node4Oct 25

No vulnerabilities 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 31876
Broken 126
Deprecated 55
Ignore 364
Forbidden 0
Restricted 175
No CDROM 78
Vulnerable 50
Expired 11
Set to expire 47
Interactive 0
new 24 hours 7
new 48 hours12
new 7 days3213
new fortnight3398
new month3453

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