gentoo.git
7 years agomail-client/evolution: remove old
Mart Raudsepp [Sun, 2 Apr 2017 12:13:16 +0000 (15:13 +0300)]
mail-client/evolution: remove old

7 years agodev-util/devhelp: remove old
Mart Raudsepp [Sun, 2 Apr 2017 12:11:38 +0000 (15:11 +0300)]
dev-util/devhelp: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-base/dconf-editor: remove old
Mart Raudsepp [Sun, 2 Apr 2017 12:11:15 +0000 (15:11 +0300)]
gnome-base/dconf-editor: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agoapp-accessibility/accerciser: remove old
Mart Raudsepp [Sun, 2 Apr 2017 12:10:29 +0000 (15:10 +0300)]
app-accessibility/accerciser: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-extra/zenity: remove old
Mart Raudsepp [Sun, 2 Apr 2017 12:08:14 +0000 (15:08 +0300)]
gnome-extra/zenity: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-extra/yelp: remove old
Mart Raudsepp [Sun, 2 Apr 2017 12:07:50 +0000 (15:07 +0300)]
gnome-extra/yelp: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agonet-misc/vino: remove old
Mart Raudsepp [Sun, 2 Apr 2017 12:05:17 +0000 (15:05 +0300)]
net-misc/vino: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agodev-lang/vala: remove old
Mart Raudsepp [Sun, 2 Apr 2017 12:04:51 +0000 (15:04 +0300)]
dev-lang/vala: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agodev-libs/vala-common: remove old
Mart Raudsepp [Sun, 2 Apr 2017 12:04:26 +0000 (15:04 +0300)]
dev-libs/vala-common: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-extra/nautilus-tracker-tags: remove old
Mart Raudsepp [Sun, 2 Apr 2017 12:02:37 +0000 (15:02 +0300)]
gnome-extra/nautilus-tracker-tags: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agoapp-misc/tracker: remove old
Mart Raudsepp [Sun, 2 Apr 2017 12:01:39 +0000 (15:01 +0300)]
app-misc/tracker: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agomedia-video/totem: remove old
Mart Raudsepp [Sun, 2 Apr 2017 12:00:30 +0000 (15:00 +0300)]
media-video/totem: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-extra/sushi: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:59:45 +0000 (14:59 +0300)]
gnome-extra/sushi: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agoapp-accessibility/orca: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:58:30 +0000 (14:58 +0300)]
app-accessibility/orca: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-base/nautilus: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:57:58 +0000 (14:57 +0300)]
gnome-base/nautilus: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agodev-libs/libpeas: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:56:12 +0000 (14:56 +0300)]
dev-libs/libpeas: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agomedia-libs/libmediaart: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:54:55 +0000 (14:54 +0300)]
media-libs/libmediaart: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-base/libgnomekbd: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:54:07 +0000 (14:54 +0300)]
gnome-base/libgnomekbd: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agomedia-libs/libchamplain: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:52:41 +0000 (14:52 +0300)]
media-libs/libchamplain: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agonet-libs/gupnp: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:51:33 +0000 (14:51 +0300)]
net-libs/gupnp: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agonet-libs/gssdp: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:51:04 +0000 (14:51 +0300)]
net-libs/gssdp: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agoapp-text/gspell: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:50:12 +0000 (14:50 +0300)]
app-text/gspell: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agomedia-plugins/grilo-plugins: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:49:05 +0000 (14:49 +0300)]
media-plugins/grilo-plugins: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agomedia-libs/grilo: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:48:24 +0000 (14:48 +0300)]
media-libs/grilo: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agomedia-video/gnome-video-effects: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:46:43 +0000 (14:46 +0300)]
media-video/gnome-video-effects: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-extra/gnome-user-docs: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:46:16 +0000 (14:46 +0300)]
gnome-extra/gnome-user-docs: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agox11-themes/gtk-engines-adwaita: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:45:48 +0000 (14:45 +0300)]
x11-themes/gtk-engines-adwaita: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agox11-themes/gnome-themes-standard: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:45:14 +0000 (14:45 +0300)]
x11-themes/gnome-themes-standard: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agox11-terms/gnome-terminal: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:40:59 +0000 (14:40 +0300)]
x11-terms/gnome-terminal: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-extra/gnome-system-monitor: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:39:48 +0000 (14:39 +0300)]
gnome-extra/gnome-system-monitor: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-extra/gnome-shell-extensions: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:34:05 +0000 (14:34 +0300)]
gnome-extra/gnome-shell-extensions: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-base/gnome-shell: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:33:23 +0000 (14:33 +0300)]
gnome-base/gnome-shell: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agox11-wm/mutter: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:30:14 +0000 (14:30 +0300)]
x11-wm/mutter: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-base/gnome-settings-daemon: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:21:43 +0000 (14:21 +0300)]
gnome-base/gnome-settings-daemon: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-base/gnome-session: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:19:51 +0000 (14:19 +0300)]
gnome-base/gnome-session: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agomedia-gfx/gnome-screenshot: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:17:50 +0000 (14:17 +0300)]
media-gfx/gnome-screenshot: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agomedia-gfx/gnome-photos: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:14:39 +0000 (14:14 +0300)]
media-gfx/gnome-photos: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agonet-misc/gnome-online-miners: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:13:50 +0000 (14:13 +0300)]
net-misc/gnome-online-miners: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agosci-geosciences/gnome-maps: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:13:22 +0000 (14:13 +0300)]
sci-geosciences/gnome-maps: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-extra/gnome-logs: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:05:52 +0000 (14:05 +0300)]
gnome-extra/gnome-logs: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-extra/gnome-getting-started-docs: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:02:19 +0000 (14:02 +0300)]
gnome-extra/gnome-getting-started-docs: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agomedia-gfx/gnome-font-viewer: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:01:22 +0000 (14:01 +0300)]
media-gfx/gnome-font-viewer: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-extra/gnome-documents: remove old
Mart Raudsepp [Sun, 2 Apr 2017 11:00:38 +0000 (14:00 +0300)]
gnome-extra/gnome-documents: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agosys-apps/gnome-disk-utility: remove old
Mart Raudsepp [Sun, 2 Apr 2017 10:59:38 +0000 (13:59 +0300)]
sys-apps/gnome-disk-utility: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-base/gnome-control-center: remove old
Mart Raudsepp [Sun, 2 Apr 2017 10:58:47 +0000 (13:58 +0300)]
gnome-base/gnome-control-center: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agonet-libs/gnome-online-accounts: remove old
Mart Raudsepp [Sun, 2 Apr 2017 10:33:03 +0000 (13:33 +0300)]
net-libs/gnome-online-accounts: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-base/gnome-desktop: remove old
Mart Raudsepp [Sun, 2 Apr 2017 10:32:32 +0000 (13:32 +0300)]
gnome-base/gnome-desktop: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-extra/gnome-contacts: remove old
Mart Raudsepp [Sun, 2 Apr 2017 10:28:20 +0000 (13:28 +0300)]
gnome-extra/gnome-contacts: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-extra/gnome-color-manager: remove old
Mart Raudsepp [Sun, 2 Apr 2017 09:46:39 +0000 (12:46 +0300)]
gnome-extra/gnome-color-manager: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-extra/gnome-clocks: remove old
Mart Raudsepp [Sun, 2 Apr 2017 09:43:04 +0000 (12:43 +0300)]
gnome-extra/gnome-clocks: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-extra/gnome-characters: remove old
Mart Raudsepp [Sun, 2 Apr 2017 09:41:24 +0000 (12:41 +0300)]
gnome-extra/gnome-characters: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-extra/gnome-calendar: remove old
Mart Raudsepp [Sun, 2 Apr 2017 09:40:25 +0000 (12:40 +0300)]
gnome-extra/gnome-calendar: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-extra/gnome-calculator: remove old
Mart Raudsepp [Sun, 2 Apr 2017 09:39:35 +0000 (12:39 +0300)]
gnome-extra/gnome-calculator: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-extra/gnome-boxes: remove old
Mart Raudsepp [Sun, 2 Apr 2017 09:38:23 +0000 (12:38 +0300)]
gnome-extra/gnome-boxes: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agonet-wireless/gnome-bluetooth: remove old
Mart Raudsepp [Sun, 2 Apr 2017 09:37:24 +0000 (12:37 +0300)]
net-wireless/gnome-bluetooth: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agox11-themes/gnome-backgrounds: remove old
Mart Raudsepp [Sun, 2 Apr 2017 09:36:00 +0000 (12:36 +0300)]
x11-themes/gnome-backgrounds: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agoapp-editors/gedit-plugins: remove old
Mart Raudsepp [Sun, 2 Apr 2017 09:33:03 +0000 (12:33 +0300)]
app-editors/gedit-plugins: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agoapp-editors/gedit: remove old
Mart Raudsepp [Sun, 2 Apr 2017 09:32:32 +0000 (12:32 +0300)]
app-editors/gedit: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-base/gdm: remove old
Mart Raudsepp [Sun, 2 Apr 2017 09:24:37 +0000 (12:24 +0300)]
gnome-base/gdm: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agoapp-arch/file-roller: remove old
Mart Raudsepp [Sun, 2 Apr 2017 09:22:16 +0000 (12:22 +0300)]
app-arch/file-roller: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agognome-extra/evolution-data-server: remove old
Mart Raudsepp [Sun, 2 Apr 2017 09:19:17 +0000 (12:19 +0300)]
gnome-extra/evolution-data-server: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agoapp-text/evince: remove old
Mart Raudsepp [Sun, 2 Apr 2017 09:17:57 +0000 (12:17 +0300)]
app-text/evince: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agowww-client/epiphany: remove old
Mart Raudsepp [Sun, 2 Apr 2017 09:17:24 +0000 (12:17 +0300)]
www-client/epiphany: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agomedia-libs/clutter-gtk: remove old
Mart Raudsepp [Sun, 2 Apr 2017 09:16:38 +0000 (12:16 +0300)]
media-libs/clutter-gtk: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agox11-libs/gtk+: remove old
Mart Raudsepp [Sun, 2 Apr 2017 09:15:18 +0000 (12:15 +0300)]
x11-libs/gtk+: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agodev-libs/glib: remove old
Mart Raudsepp [Sun, 2 Apr 2017 09:10:26 +0000 (12:10 +0300)]
dev-libs/glib: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agomedia-video/cheese: remove old
Mart Raudsepp [Sun, 2 Apr 2017 09:08:05 +0000 (12:08 +0300)]
media-video/cheese: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agosys-apps/baobab: remove old
Mart Raudsepp [Sun, 2 Apr 2017 09:07:00 +0000 (12:07 +0300)]
sys-apps/baobab: remove old

Package-Manager: Portage-2.3.5, Repoman-2.3.1

7 years agoMask net-im/ejabberd-17.01 committed accidentally
Amadeusz Żołnowski [Sun, 2 Apr 2017 11:19:53 +0000 (12:19 +0100)]
Mask net-im/ejabberd-17.01 committed accidentally

7 years agowww-client/chromium: x86 stable wrt bug #614276
Agostino Sarubbo [Sun, 2 Apr 2017 11:05:23 +0000 (13:05 +0200)]
www-client/chromium: x86 stable wrt bug #614276

Package-Manager: Portage-2.3.3, Repoman-2.3.1
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
7 years agowww-client/chromium: amd64 stable wrt bug #614276
Agostino Sarubbo [Sun, 2 Apr 2017 11:04:54 +0000 (13:04 +0200)]
www-client/chromium: amd64 stable wrt bug #614276

Package-Manager: Portage-2.3.3, Repoman-2.3.1
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
7 years agoapp-office/libreoffice: Add missing subslot operator on app-text/hunspell
Andreas Sturmlechner [Sun, 2 Apr 2017 10:06:28 +0000 (12:06 +0200)]
app-office/libreoffice: Add missing subslot operator on app-text/hunspell

Reported-by: Arfrever
Package-Manager: Portage-2.3.3, Repoman-2.3.1

7 years agognome-extra/nm-applet: security cleanup
Mart Raudsepp [Sun, 2 Apr 2017 09:00:07 +0000 (12:00 +0300)]
gnome-extra/nm-applet: security cleanup

Gentoo-bug: 613768

7 years agodev-ml/atd: Add missin menhir dep, bug #614442
Alexis Ballier [Sat, 1 Apr 2017 22:32:48 +0000 (00:32 +0200)]
dev-ml/atd: Add missin menhir dep, bug #614442

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/capnp-ocaml: Fix build with latest core_kernel.
Alexis Ballier [Sat, 1 Apr 2017 22:25:29 +0000 (00:25 +0200)]
dev-ml/capnp-ocaml: Fix build with latest core_kernel.

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/async_js: initial import
Alexis Ballier [Sat, 1 Apr 2017 21:50:50 +0000 (23:50 +0200)]
dev-ml/async_js: initial import

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/js_of_ocaml: Fix build with latest ppx tools.
Alexis Ballier [Sat, 1 Apr 2017 21:50:21 +0000 (23:50 +0200)]
dev-ml/js_of_ocaml: Fix build with latest ppx tools.

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/js_of_ocaml: Drop async support, will be readded with dev-ml/async_js.
Alexis Ballier [Sat, 1 Apr 2017 21:42:07 +0000 (23:42 +0200)]
dev-ml/js_of_ocaml: Drop async support, will be readded with dev-ml/async_js.

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/core_bench: Bump to 0.9.0
Alexis Ballier [Sat, 1 Apr 2017 17:20:13 +0000 (19:20 +0200)]
dev-ml/core_bench: Bump to 0.9.0

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/core_profiler: Bump to 0.9.0
Alexis Ballier [Sat, 1 Apr 2017 17:13:59 +0000 (19:13 +0200)]
dev-ml/core_profiler: Bump to 0.9.0

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/bignum: Bump to 0.9.0
Alexis Ballier [Sat, 1 Apr 2017 17:05:06 +0000 (19:05 +0200)]
dev-ml/bignum: Bump to 0.9.0

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/async_ssl: initial import
Alexis Ballier [Sat, 1 Apr 2017 16:59:51 +0000 (18:59 +0200)]
dev-ml/async_ssl: initial import

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/pa_sexp_conv: unversion sexplib dep
Alexis Ballier [Sat, 1 Apr 2017 16:55:34 +0000 (18:55 +0200)]
dev-ml/pa_sexp_conv: unversion sexplib dep

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/ocaml-dns: Remove old and unversion async deps.
Alexis Ballier [Sat, 1 Apr 2017 16:53:31 +0000 (18:53 +0200)]
dev-ml/ocaml-dns: Remove old and unversion async deps.

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/ppx_sexp_value: Bump to 0.9.0
Alexis Ballier [Sat, 1 Apr 2017 16:51:51 +0000 (18:51 +0200)]
dev-ml/ppx_sexp_value: Bump to 0.9.0

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/ppx_jane: bump to 0.9.0
Alexis Ballier [Sat, 1 Apr 2017 16:51:15 +0000 (18:51 +0200)]
dev-ml/ppx_jane: bump to 0.9.0

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/ppx_fail: bump to 0.9.0
Alexis Ballier [Sat, 1 Apr 2017 16:50:41 +0000 (18:50 +0200)]
dev-ml/ppx_fail: bump to 0.9.0

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/ppx_expect: Bump to 0.9.0
Alexis Ballier [Sat, 1 Apr 2017 16:50:03 +0000 (18:50 +0200)]
dev-ml/ppx_expect: Bump to 0.9.0

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/ppx_pipebang: bump to 0.9.0
Alexis Ballier [Sat, 1 Apr 2017 16:49:32 +0000 (18:49 +0200)]
dev-ml/ppx_pipebang: bump to 0.9.0

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/typerep_extended: bump to 0.9.0
Alexis Ballier [Sat, 1 Apr 2017 16:46:09 +0000 (18:46 +0200)]
dev-ml/typerep_extended: bump to 0.9.0

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/ppx_bench: Bump to 0.9.0
Alexis Ballier [Sat, 1 Apr 2017 16:41:17 +0000 (18:41 +0200)]
dev-ml/ppx_bench: Bump to 0.9.0

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/ppx_enumerate: Bump to 0.9.0
Alexis Ballier [Sat, 1 Apr 2017 16:40:47 +0000 (18:40 +0200)]
dev-ml/ppx_enumerate: Bump to 0.9.0

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-util/coccinelle: Use proper useflag defaults for sexplib[ocamlopt] dep
Alexis Ballier [Sat, 1 Apr 2017 16:40:03 +0000 (18:40 +0200)]
dev-util/coccinelle: Use proper useflag defaults for sexplib[ocamlopt] dep

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/ppx_base: initial import
Alexis Ballier [Sat, 1 Apr 2017 16:38:20 +0000 (18:38 +0200)]
dev-ml/ppx_base: initial import

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/ppx_assert: bump to 0.9.0
Alexis Ballier [Sat, 1 Apr 2017 16:37:48 +0000 (18:37 +0200)]
dev-ml/ppx_assert: bump to 0.9.0

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/incremental: Bump to 0.9.0
Alexis Ballier [Sat, 1 Apr 2017 16:37:13 +0000 (18:37 +0200)]
dev-ml/incremental: Bump to 0.9.0

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/incremental_kernel: Bump to 0.9.0
Alexis Ballier [Sat, 1 Apr 2017 16:35:27 +0000 (18:35 +0200)]
dev-ml/incremental_kernel: Bump to 0.9.0

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/ppx_here: Bump to 0.9.0
Alexis Ballier [Sat, 1 Apr 2017 16:33:12 +0000 (18:33 +0200)]
dev-ml/ppx_here: Bump to 0.9.0

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/jane-street-headers: initial import
Alexis Ballier [Sat, 1 Apr 2017 16:32:37 +0000 (18:32 +0200)]
dev-ml/jane-street-headers: initial import

Package-Manager: Portage-2.3.5, Repoman-2.3.2

7 years agodev-ml/fieldslib: Bump to 0.9.0
Alexis Ballier [Sat, 1 Apr 2017 16:32:11 +0000 (18:32 +0200)]
dev-ml/fieldslib: Bump to 0.9.0

Package-Manager: Portage-2.3.5, Repoman-2.3.2