summaryrefslogtreecommitdiff
path: root/extra/ocaml
AgeCommit message (Collapse)Author
2013-02-10Merge branch 'master' of ↵Michał Masłowski
ssh://parabolagnulinux.org:1863/home/parabola/abslibre-pre-mips64el Conflicts: community/cdemu-client/PKGBUILD community/dcron/PKGBUILD community/freevo/PKGBUILD community/gmerlin-avdecoder/PKGBUILD community/hacburn/PKGBUILD community/htmldoc/PKGBUILD community/ibus-table/PKGBUILD community/iksemel/PKGBUILD community/isomaster/PKGBUILD community/libmatio/PKGBUILD community/libtlen/PKGBUILD community/luarocks/PKGBUILD community/lxde-common/PKGBUILD community/multipath-tools/PKGBUILD community/nvclock/PKGBUILD community/pam-krb5/PKGBUILD community/pidgin-musictracker/PKGBUILD community/pkgfile/PKGBUILD community/pkgtools/PKGBUILD community/print-manager/PKGBUILD community/python-pyro/PKGBUILD community/python-pyxmpp/PKGBUILD community/python2-simplejson/PKGBUILD community/rsnapshot/PKGBUILD community/setconf/PKGBUILD community/tagpy/PKGBUILD community/terminator/PKGBUILD community/udunits/PKGBUILD community/vlock/PKGBUILD community/winefish/PKGBUILD core/nss-myhostname/PKGBUILD extra/avfs/PKGBUILD extra/bmp-musepack/PKGBUILD extra/bmp-wma/PKGBUILD extra/bochs/PKGBUILD extra/botan/PKGBUILD extra/cdargs/PKGBUILD extra/cx_freeze/PKGBUILD extra/dcfldd/PKGBUILD extra/devilspie/PKGBUILD extra/emelfm2/PKGBUILD extra/evilwm/PKGBUILD extra/fssos-nsvs/PKGBUILD extra/gimp-dbp/PKGBUILD extra/gimp-gap/PKGBUILD extra/gimp-ufraw/PKGBUILD extra/gmpc/PKGBUILD extra/gtkpod/PKGBUILD extra/hercules/PKGBUILD extra/herqq/PKGBUILD extra/hydrogen/PKGBUILD extra/kdegames/PKGBUILD extra/kradio/PKGBUILD extra/kshutdown/PKGBUILD extra/libmusicbrainz4/PKGBUILD extra/mahjong/PKGBUILD extra/mcrypt/PKGBUILD extra/monica/PKGBUILD extra/mpck/PKGBUILD extra/mrtg/PKGBUILD extra/nicotine/PKGBUILD extra/normalize/PKGBUILD extra/oprofile/PKGBUILD extra/perl-event/PKGBUILD extra/perl-unicode-string/PKGBUILD extra/pidgin-encryption/PKGBUILD extra/proftpd/PKGBUILD extra/pymad/PKGBUILD extra/qiv/PKGBUILD extra/quodlibet/PKGBUILD extra/ratpoison/PKGBUILD extra/rox/PKGBUILD extra/scrot/PKGBUILD extra/stardict/PKGBUILD extra/terminal/PKGBUILD extra/usbview/PKGBUILD extra/xdelta/PKGBUILD extra/xdelta3/PKGBUILD extra/xorg-xlsfonts/PKGBUILD extra/zile/PKGBUILD mozilla-testing/iceweasel-libre/mozconfig mozilla-testing/iceweasel-libre/vendor.js social/tokyocabinet/PKGBUILD ~fauno/notmuch/PKGBUILD ~mtjm/thinkfan/PKGBUILD ~mtjm/zbar/PKGBUILD
2013-02-10Sun Feb 10 01:12:35 PST 2013root
2013-02-02Add ocaml md5sums.Michał Masłowski
2013-01-20Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64elNicolás Reynolds
Conflicts: community/erlang/PKGBUILD community/fcitx-mozc/PKGBUILD community/geda-gaf/PKGBUILD community/mplayer2/PKGBUILD community/parcellite/PKGBUILD community/python2-pytables/PKGBUILD community/ruby-gtk2/PKGBUILD core/kbd/PKGBUILD core/systemd/PKGBUILD extra/calligra/PKGBUILD extra/dmapi/PKGBUILD extra/gstreamer0.10-ugly/PKGBUILD extra/gvfs/PKGBUILD extra/libcdio/PKGBUILD extra/libtorrent-rasterbar/PKGBUILD extra/llvm/PKGBUILD extra/nx/PKGBUILD extra/ocaml/PKGBUILD extra/php-xcache/PKGBUILD extra/qtwebkit/PKGBUILD extra/vcdimager/PKGBUILD extra/w3m/PKGBUILD extra/xorg-bdftopcf/PKGBUILD extra/xorg-xcalc/PKGBUILD extra/xorg-xconsole/PKGBUILD extra/xorg-xedit/PKGBUILD extra/xorg-xmag/PKGBUILD extra/xorg-xmessage/PKGBUILD extra/xorg-xvidtune/PKGBUILD libre/unzip-libre/PKGBUILD social/opentracker/PKGBUILD
2013-01-18Fri Jan 18 00:06:07 PST 2013root
2012-12-25Merge branch 'master' of ↵Michał Masłowski
ssh://parabolagnulinux.org:1863/home/parabola/abslibre-pre-mips64el Conflicts: community/libnewt/PKGBUILD community/luasec/PKGBUILD extra/expect/PKGBUILD extra/fribidi/PKGBUILD extra/goffice/PKGBUILD extra/pidgin/PKGBUILD extra/postgresql/PKGBUILD extra/python/PKGBUILD extra/ruby/PKGBUILD
2012-12-25Tue Dec 25 02:27:55 PST 2012root
2012-10-13Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64elNicolás Reynolds
Conflicts: community-testing/conntrack-tools/01-config-file-path.patch community-testing/conntrack-tools/PKGBUILD community-testing/gambas3/PKGBUILD community-testing/gigi/PKGBUILD community-testing/glob2/PKGBUILD community-testing/megaglest/PKGBUILD community-testing/openimageio/PKGBUILD community/gtk2hs-buildtools/PKGBUILD community/haddock/PKGBUILD community/haskell-dataenc/PKGBUILD community/haskell-ghc-paths/PKGBUILD community/haskell-haskeline/PKGBUILD community/haskell-hslogger/PKGBUILD community/haskell-tar/PKGBUILD community/haskell-terminfo/PKGBUILD community/haskell-utf8-string/PKGBUILD community/haskell-x11-xft/PKGBUILD community/libnetfilter_acct/PKGBUILD community/libnetfilter_conntrack/PKGBUILD community/libnetfilter_queue/PKGBUILD community/libnfnetlink/PKGBUILD community/sfk/PKGBUILD extra/cabal-install/PKGBUILD extra/claws-mail/PKGBUILD extra/haskell-http/PKGBUILD extra/haskell-mtl/PKGBUILD extra/haskell-network/PKGBUILD extra/haskell-parsec/PKGBUILD extra/haskell-text/PKGBUILD extra/haskell-transformers/PKGBUILD extra/haskell-zlib/PKGBUILD extra/nx/PKGBUILD extra/ocaml/PKGBUILD multilib/gcc-multilib/PKGBUILD multilib/lib32-dbus-core/PKGBUILD multilib/lib32-gnutls/PKGBUILD multilib/lib32-libtiff/PKGBUILD multilib/lib32-libxcb/PKGBUILD multilib/libtool-multilib/PKGBUILD social/squirm/PKGBUILD staging/kdebindings-python/PKGBUILD testing/curl/PKGBUILD testing/dnsutils/PKGBUILD testing/dnsutils/remove-bind.patch testing/mesa/PKGBUILD testing/openldap/PKGBUILD testing/pam/PKGBUILD testing/subversion/PKGBUILD testing/systemd/PKGBUILD testing/sysvinit/PKGBUILD
2012-10-13Sat Oct 13 00:57:48 PDT 2012root
2012-09-20Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64elNicolás Reynolds
Conflicts: community/balsa/PKGBUILD community/bitcoin/PKGBUILD community/jack2/PKGBUILD community/kadu/PKGBUILD community/oss/PKGBUILD core/sudo/PKGBUILD extra/djvulibre/PKGBUILD extra/gtk2/PKGBUILD extra/kdenetwork/PKGBUILD extra/samba/PKGBUILD gnome-unstable/at-spi2-atk/PKGBUILD gnome-unstable/at-spi2-core/PKGBUILD gnome-unstable/glib-networking/PKGBUILD gnome-unstable/glib2/PKGBUILD gnome-unstable/gobject-introspection/PKGBUILD libre/kdenetwork-kopete-libre/PKGBUILD multilib/jack2-multilib/PKGBUILD multilib/lib32-gtk2/PKGBUILD multilib/lib32-sdl/PKGBUILD multilib/wine/PKGBUILD multilib/zsnes/PKGBUILD testing/btrfs-progs/PKGBUILD testing/dnsutils/PKGBUILD testing/man-db/PKGBUILD testing/postgresql/PKGBUILD testing/postgresql/postgresql.install testing/postgresql/postgresql.service testing/procps-ng/PKGBUILD testing/procps-ng/sysctl.conf testing/sudo/PKGBUILD testing/xf86-video-nouveau/PKGBUILD testing/xf86-video-nouveau/xf86-video-nouveau.install
2012-09-14Fri Sep 14 00:04:06 UTC 2012root
2012-09-12Fix ocaml PKGBUILD syntax.Michał Masłowski
2012-09-10Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64elNicolás Reynolds
Conflicts: community-staging/haskell-stm/PKGBUILD community-staging/haskell-syb/PKGBUILD community/cantata/PKGBUILD community/linux-tools/PKGBUILD community/python-pymongo/PKGBUILD core/less/PKGBUILD extra/alsa-plugins/PKGBUILD extra/avfs/PKGBUILD extra/cups/PKGBUILD extra/icedtea-web/PKGBUILD extra/kdeadmin/PKGBUILD extra/kdemultimedia-mplayerthumbs/PKGBUILD extra/kdepim/PKGBUILD extra/libreoffice/PKGBUILD extra/mysql/PKGBUILD extra/ocaml/PKGBUILD extra/sqlite/PKGBUILD extra/vim/PKGBUILD gnome-unstable/at-spi2-atk/PKGBUILD gnome-unstable/at-spi2-core/PKGBUILD gnome-unstable/atk/PKGBUILD gnome-unstable/glib2/PKGBUILD gnome-unstable/gobject-introspection/PKGBUILD multilib/lib32-alsa-lib/PKGBUILD multilib/lib32-alsa-plugins/PKGBUILD multilib/lib32-fontconfig/PKGBUILD staging/ghc/PKGBUILD staging/ghc/build.mk staging/haskell-http/PKGBUILD staging/haskell-mtl/PKGBUILD staging/haskell-network/PKGBUILD staging/haskell-parsec/PKGBUILD staging/haskell-random/PKGBUILD staging/haskell-text/PKGBUILD staging/haskell-transformers/PKGBUILD staging/haskell-zlib/PKGBUILD testing/coreutils/PKGBUILD testing/coreutils/coreutils.install testing/dhcpcd/PKGBUILD testing/kactivities/PKGBUILD testing/kdeaccessibility-jovie/PKGBUILD testing/kdeaccessibility-kaccessible/PKGBUILD testing/kdeaccessibility-kmag/PKGBUILD testing/kdeaccessibility-kmousetool/PKGBUILD testing/kdeaccessibility-kmouth/PKGBUILD testing/kdeadmin/PKGBUILD testing/kdeartwork/PKGBUILD testing/kdebase-konsole/PKGBUILD testing/kdebase-workspace/PKGBUILD testing/kdebase/PKGBUILD testing/kdebindings-kimono/PKGBUILD testing/kdebindings-korundum/PKGBUILD testing/kdebindings-kross/PKGBUILD testing/kdebindings-perlkde/PKGBUILD testing/kdebindings-perlqt/PKGBUILD testing/kdebindings-python/PKGBUILD testing/kdebindings-qtruby/PKGBUILD testing/kdebindings-qyoto/PKGBUILD testing/kdebindings-smokegen/PKGBUILD testing/kdebindings-smokekde/PKGBUILD testing/kdebindings-smokeqt/PKGBUILD testing/kdeedu-analitza/PKGBUILD testing/kdeedu-blinken/PKGBUILD testing/kdeedu-cantor/PKGBUILD testing/kdeedu-kalgebra/PKGBUILD testing/kdeedu-kalzium/PKGBUILD testing/kdeedu-kanagram/PKGBUILD testing/kdeedu-kbruch/PKGBUILD testing/kdeedu-kgeography/PKGBUILD testing/kdeedu-khangman/PKGBUILD testing/kdeedu-kig/PKGBUILD testing/kdeedu-kiten/PKGBUILD testing/kdeedu-klettres/PKGBUILD testing/kdeedu-kmplot/PKGBUILD testing/kdeedu-kstars/PKGBUILD testing/kdeedu-ktouch/PKGBUILD testing/kdeedu-kturtle/PKGBUILD testing/kdeedu-kwordquiz/PKGBUILD testing/kdeedu-marble/PKGBUILD testing/kdeedu-pairs/PKGBUILD testing/kdeedu-parley/PKGBUILD testing/kdeedu-rocs/PKGBUILD testing/kdeedu-step/PKGBUILD testing/kdegames/PKGBUILD testing/kdegraphics-gwenview/PKGBUILD testing/kdegraphics-kamera/PKGBUILD testing/kdegraphics-kcolorchooser/PKGBUILD testing/kdegraphics-kgamma/PKGBUILD testing/kdegraphics-kolourpaint/PKGBUILD testing/kdegraphics-kruler/PKGBUILD testing/kdegraphics-ksaneplugin/PKGBUILD testing/kdegraphics-ksnapshot/PKGBUILD testing/kdegraphics-mobipocket/PKGBUILD testing/kdegraphics-okular/PKGBUILD testing/kdegraphics-strigi-analyzer/PKGBUILD testing/kdegraphics-svgpart/PKGBUILD testing/kdegraphics-thumbnailers/PKGBUILD testing/kdemultimedia-audiocd-kio/PKGBUILD testing/kdemultimedia-dragonplayer/PKGBUILD testing/kdemultimedia-ffmpegthumbs/PKGBUILD testing/kdemultimedia-juk/PKGBUILD testing/kdemultimedia-kmix/PKGBUILD testing/kdemultimedia-kscd/PKGBUILD testing/kdemultimedia-mplayerthumbs/PKGBUILD testing/kdenetwork/PKGBUILD testing/kdepim-runtime/PKGBUILD testing/kdepim/PKGBUILD testing/kdepimlibs/PKGBUILD testing/kdeplasma-addons/PKGBUILD testing/kdesdk-kate/PKGBUILD testing/kdesdk/PKGBUILD testing/kdetoys/PKGBUILD testing/kdeutils-filelight/PKGBUILD testing/kdeutils-kcalc/PKGBUILD testing/kdeutils-kcharselect/PKGBUILD testing/kdeutils-kdf/PKGBUILD testing/kdeutils-kfloppy/PKGBUILD testing/kdeutils-kgpg/PKGBUILD testing/kdeutils-kremotecontrol/PKGBUILD testing/kdeutils-ktimer/PKGBUILD testing/kdeutils-kwallet/PKGBUILD testing/kdeutils-superkaramba/PKGBUILD testing/kdeutils-sweeper/PKGBUILD testing/kdewebdev/PKGBUILD testing/kmod/PKGBUILD testing/libkcddb/PKGBUILD testing/libkcompactdisc/PKGBUILD testing/libkdcraw/PKGBUILD testing/libkdeedu/PKGBUILD testing/libkexiv2/PKGBUILD testing/libkipi/PKGBUILD testing/libksane/PKGBUILD testing/libmpc/PKGBUILD testing/nepomuk-core/PKGBUILD testing/procps-ng/PKGBUILD testing/sudo/PKGBUILD testing/sysvinit/PKGBUILD testing/util-linux/PKGBUILD testing/util-linux/util-linux.install
2012-09-09Sun Sep 9 00:11:39 UTC 2012root
2012-03-23Don't build ocaml-compiler-libs on mips64el, it needs optimized build and is ↵Michał Masłowski
not used.
2011-12-01Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64elNicolas Reynolds
Conflicts: community/iat/PKGBUILD community/libnsbmp/PKGBUILD community/libnsgif/PKGBUILD community/libopenraw/PKGBUILD community/netsurf/PKGBUILD core/bison/PKGBUILD core/perl/PKGBUILD extra/avahi/PKGBUILD extra/mutt/PKGBUILD extra/php/PKGBUILD
2011-11-30Wed Nov 30 23:15:09 UTC 2011root
2011-09-19Mon Sep 19 23:14:46 UTC 2011root
2011-09-21Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64elNicolas Reynolds
Conflicts: community/antiword/PKGBUILD community/apcupsd/PKGBUILD community/busybox/PKGBUILD community/chrpath/PKGBUILD community/driftnet/PKGBUILD community/emesene/PKGBUILD community/fdm/PKGBUILD community/fftw2/PKGBUILD community/gsynaptics/PKGBUILD community/gtk-rezlooks-engine/PKGBUILD community/httptunnel/PKGBUILD community/libnfnetlink/PKGBUILD community/libopenraw/PKGBUILD community/mashup/PKGBUILD community/pcb/PKGBUILD community/portaudio_cpp/PKGBUILD community/preload/PKGBUILD community/rlog/PKGBUILD community/scponly/PKGBUILD community/splint/PKGBUILD community/wmname/PKGBUILD community/xosd/PKGBUILD community/xxkb/PKGBUILD community/znc/PKGBUILD core/glibc/PKGBUILD core/libtool/PKGBUILD extra/at/PKGBUILD extra/autogen/PKGBUILD extra/bmp-musepack/PKGBUILD extra/capi4k-utils/PKGBUILD extra/cdrdao/PKGBUILD extra/chkrootkit/PKGBUILD extra/cmt/PKGBUILD extra/compface/PKGBUILD extra/dasher/PKGBUILD extra/dcfldd/PKGBUILD extra/dmapi/PKGBUILD extra/docker/PKGBUILD extra/dvd+rw-tools/PKGBUILD extra/dvdrtools/PKGBUILD extra/fcgi/PKGBUILD extra/festival/PKGBUILD extra/ffmpeg/PKGBUILD extra/gecko-sharp-2.0/PKGBUILD extra/gimp-gap/PKGBUILD extra/gmetadom/PKGBUILD extra/gnome-speech/PKGBUILD extra/gnome-vfsmm/PKGBUILD extra/gnutls/PKGBUILD extra/graphite/PKGBUILD extra/i8kutils/PKGBUILD extra/id3/PKGBUILD extra/java-access-bridge/PKGBUILD extra/kdelibs/PKGBUILD extra/koffice/PKGBUILD extra/ladspa/PKGBUILD extra/libcddb/PKGBUILD extra/libcroco/PKGBUILD extra/libdc1394/PKGBUILD extra/libdca/PKGBUILD extra/libgee/PKGBUILD extra/libglademm/PKGBUILD extra/libgnomecanvasmm/PKGBUILD extra/libsigsegv/PKGBUILD extra/libstdc++5/PKGBUILD extra/libwebkit/PKGBUILD extra/libytnef/PKGBUILD extra/lua/PKGBUILD extra/mcpp/PKGBUILD extra/metalog/PKGBUILD extra/mp3wrap/PKGBUILD extra/mt-st/PKGBUILD extra/naim/PKGBUILD extra/ocaml/PKGBUILD extra/oxine/PKGBUILD extra/php/PKGBUILD extra/poppler/PKGBUILD extra/pstoedit/PKGBUILD extra/qt/PKGBUILD extra/speex/PKGBUILD extra/sweep/PKGBUILD extra/t1lib/PKGBUILD extra/taglib-extras/PKGBUILD extra/unixodbc/PKGBUILD extra/wireshark/PKGBUILD extra/ypbind-mt/PKGBUILD gnome-unstable/caribou/PKGBUILD gnome-unstable/clutter/PKGBUILD gnome-unstable/cogl/PKGBUILD gnome-unstable/dconf/PKGBUILD gnome-unstable/empathy/PKGBUILD gnome-unstable/empathy/empathy.install gnome-unstable/eog/PKGBUILD gnome-unstable/evolution-data-server/PKGBUILD gnome-unstable/evolution/PKGBUILD gnome-unstable/folks/PKGBUILD gnome-unstable/gconf/PKGBUILD gnome-unstable/gdm/PKGBUILD gnome-unstable/gdm/fix_external_program_directories.patch gnome-unstable/glib-networking/PKGBUILD gnome-unstable/glib2/PKGBUILD gnome-unstable/gnome-color-manager/PKGBUILD gnome-unstable/gnome-contacts/PKGBUILD gnome-unstable/gnome-desktop/PKGBUILD gnome-unstable/gnome-keyring/PKGBUILD gnome-unstable/gnome-menus/PKGBUILD gnome-unstable/gnome-online-accounts/PKGBUILD gnome-unstable/gnome-panel/PKGBUILD gnome-unstable/gnome-power-manager/PKGBUILD gnome-unstable/gnome-screensaver/PKGBUILD gnome-unstable/gnome-session/PKGBUILD gnome-unstable/gnome-settings-daemon/PKGBUILD gnome-unstable/gnome-shell/PKGBUILD gnome-unstable/gnome-themes-standard/PKGBUILD gnome-unstable/gnome-utils/PKGBUILD gnome-unstable/gtk3/PKGBUILD gnome-unstable/gtkhtml4/PKGBUILD gnome-unstable/gtkmm3/PKGBUILD gnome-unstable/libgdata/PKGBUILD gnome-unstable/libgnome-keyring/PKGBUILD gnome-unstable/libsoup/PKGBUILD gnome-unstable/libwnck3/PKGBUILD gnome-unstable/mash/PKGBUILD gnome-unstable/mutter/PKGBUILD gnome-unstable/mx/PKGBUILD gnome-unstable/pulseaudio/PKGBUILD gnome-unstable/pygobject/PKGBUILD gnome-unstable/pygobject2/PKGBUILD gnome-unstable/seahorse/PKGBUILD gnome-unstable/sushi/PKGBUILD gnome-unstable/totem/PKGBUILD gnome-unstable/upower/PKGBUILD gnome-unstable/vala/PKGBUILD kde-unstable/kdebase-workspace/PKGBUILD multilib/lib32-glibc/PKGBUILD multilib/lib32-gtk/PKGBUILD multilib/lib32-libpng/PKGBUILD multilib/lib32-mpg123/PKGBUILD multilib/lib32-nspr/PKGBUILD multilib/lib32-nss/PKGBUILD multilib/lib32-nss/add_spi+cacert_ca_certs.patch multilib/lib32-openssl/PKGBUILD multilib/libtool-multilib/PKGBUILD multilib/wine/PKGBUILD testing/util-linux/PKGBUILD
2011-07-18Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64elNicolas Reynolds
Conflicts: community/dopewars/PKGBUILD community/virtualbox/PKGBUILD core/lvm2/PKGBUILD extra/aspell/PKGBUILD extra/gnome-python-extras/PKGBUILD extra/libproxy/PKGBUILD extra/live-media/PKGBUILD extra/ocaml/PKGBUILD extra/putty/PKGBUILD extra/python/PKGBUILD extra/ruby/PKGBUILD kde-unstable/calligra/PKGBUILD multilib-testing/lib32-mesa/PKGBUILD testing/mesa/PKGBUILD
2011-07-17Sun Jul 17 23:11:47 UTC 2011root
2011-06-26today batchJoshua Ismael Haase Hernández
2011-05-11Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64elNicolas Reynolds
Conflicts: core/openssh/PKGBUILD extra/gnome-python-desktop/PKGBUILD extra/libgnome/PKGBUILD extra/sane/PKGBUILD libre/kernel26-libre/PKGBUILD
2011-05-10Tue May 10 22:33:36 UTC 2011root
2011-04-11Added mips64el archNicolas Reynolds
2011-04-05Tue Apr 5 14:26:38 UTC 2011Parabola