devel/gecode: Move to math category
This commit is contained in:
parent
bb6dc01fb4
commit
fa3a01a51f
1
MOVED
1
MOVED
@ -16326,3 +16326,4 @@ sysutils/policykit|sysutils/polkit|2021-05-01|Gnome2 component, no consumers lef
|
|||||||
databases/rubygem-gitlab-pg_query|databases/rubygem-pg_query|2021-05-03|Obsolete, please use databases/rubygem-pg_query
|
databases/rubygem-gitlab-pg_query|databases/rubygem-pg_query|2021-05-03|Obsolete, please use databases/rubygem-pg_query
|
||||||
devel/rubygem-licensee8|devel/rubygem-licensee|2021-05-03|Obsolete, please use devel/rubygem-licensee
|
devel/rubygem-licensee8|devel/rubygem-licensee|2021-05-03|Obsolete, please use devel/rubygem-licensee
|
||||||
devel/rubygem-ruby-magic-static|devel/rubygem-ruby-magic|2021-05-03|Obsolete, please use devel/rubygem-ruby-magic
|
devel/rubygem-ruby-magic-static|devel/rubygem-ruby-magic|2021-05-03|Obsolete, please use devel/rubygem-ruby-magic
|
||||||
|
devel/gecode|math/gecode|2021-05-04|Move to a proper category
|
||||||
|
|||||||
@ -781,7 +781,6 @@
|
|||||||
SUBDIR += geany-plugins-l10n
|
SUBDIR += geany-plugins-l10n
|
||||||
SUBDIR += geany-themes
|
SUBDIR += geany-themes
|
||||||
SUBDIR += gearmand
|
SUBDIR += gearmand
|
||||||
SUBDIR += gecode
|
|
||||||
SUBDIR += generate
|
SUBDIR += generate
|
||||||
SUBDIR += gengetopt
|
SUBDIR += gengetopt
|
||||||
SUBDIR += genie
|
SUBDIR += genie
|
||||||
|
|||||||
@ -294,6 +294,7 @@
|
|||||||
SUBDIR += gambit
|
SUBDIR += gambit
|
||||||
SUBDIR += gap
|
SUBDIR += gap
|
||||||
SUBDIR += gau2grid
|
SUBDIR += gau2grid
|
||||||
|
SUBDIR += gecode
|
||||||
SUBDIR += gemmlowp
|
SUBDIR += gemmlowp
|
||||||
SUBDIR += geogebra
|
SUBDIR += geogebra
|
||||||
SUBDIR += geogram
|
SUBDIR += geogram
|
||||||
|
|||||||
@ -3,7 +3,7 @@
|
|||||||
PORTNAME= gecode
|
PORTNAME= gecode
|
||||||
DISTVERSIONPREFIX= release-
|
DISTVERSIONPREFIX= release-
|
||||||
DISTVERSION= 6.2.0
|
DISTVERSION= 6.2.0
|
||||||
CATEGORIES= devel math
|
CATEGORIES= math
|
||||||
|
|
||||||
PATCH_SITES= https://github.com/${GH_ACCOUNT}/${PORTNAME}/commit/
|
PATCH_SITES= https://github.com/${GH_ACCOUNT}/${PORTNAME}/commit/
|
||||||
PATCHFILES= f08079c5df271869bc7c0799b3eccc52ca2f4d83.patch:-p1 # https://github.com/Gecode/gecode/pull/51
|
PATCHFILES= f08079c5df271869bc7c0799b3eccc52ca2f4d83.patch:-p1 # https://github.com/Gecode/gecode/pull/51
|
||||||
Loading…
x
Reference in New Issue
Block a user