summaryrefslogtreecommitdiff
path: root/community/coq
AgeCommit message (Collapse)Author
2012-02-07Merge branch 'master' of ↵Michał Masłowski
ssh://parabolagnulinux.org:1863/home/parabola/abslibre-pre-mips64el Conflicts: community/bwbar/PKGBUILD community/directfb/PKGBUILD community/extremetuxracer/PKGBUILD community/freedroidrpg/PKGBUILD community/gnash/PKGBUILD community/guake/PKGBUILD community/pidgin-libnotify/PKGBUILD community/png2ico/PKGBUILD community/ruby-gtk2/PKGBUILD community/torcs/PKGBUILD community/virtualbox/PKGBUILD extra/abiword/PKGBUILD extra/alsaplayer/PKGBUILD extra/automoc4/PKGBUILD extra/cagibi/PKGBUILD extra/fltk/PKGBUILD extra/gnome-desktop2/PKGBUILD extra/gnome-python/PKGBUILD extra/gnome-sharp/PKGBUILD extra/gnugo/PKGBUILD extra/gstreamer0.10-good/PKGBUILD extra/gtk2/PKGBUILD extra/gtkmm/PKGBUILD extra/imlib2/PKGBUILD extra/koffice/PKGBUILD extra/lcms/PKGBUILD extra/libao/PKGBUILD extra/libcue/PKGBUILD extra/libdaemon/PKGBUILD extra/libgnome-media-profiles/PKGBUILD extra/libotf/PKGBUILD extra/libotr/PKGBUILD extra/libots/PKGBUILD extra/libreoffice/PKGBUILD extra/libtiff/PKGBUILD extra/libwebkit/PKGBUILD extra/libwmf/PKGBUILD extra/libxfcegui4/PKGBUILD extra/mjpegtools/PKGBUILD extra/netpbm/PKGBUILD extra/php/PKGBUILD extra/plotutils/PKGBUILD extra/poppler/PKGBUILD extra/qrencode/PKGBUILD extra/qt/PKGBUILD extra/qtiplot/PKGBUILD extra/rssh/PKGBUILD extra/scim-chewing/PKGBUILD extra/scim-m17n/PKGBUILD extra/scim-pinyin/PKGBUILD extra/scim-tables/PKGBUILD extra/scim-uim/PKGBUILD extra/tsocks/PKGBUILD extra/vigra/PKGBUILD extra/w3m/PKGBUILD extra/wv/PKGBUILD extra/xclip/PKGBUILD extra/xfce4-datetime-plugin/PKGBUILD extra/xfce4-notes-plugin/PKGBUILD extra/xfce4-quicklauncher-plugin/PKGBUILD extra/xfce4-sensors-plugin/PKGBUILD extra/xorg-font-util/PKGBUILD extra/xorg-setxkbmap/PKGBUILD extra/xorg-xev/PKGBUILD extra/xsane/PKGBUILD extra/yakuake/PKGBUILD extra/zvbi/PKGBUILD multilib/lib32-cairo/PKGBUILD multilib/lib32-gdk-pixbuf2/PKGBUILD multilib/lib32-libcanberra/PKGBUILD multilib/lib32-libcups/PKGBUILD multilib/lib32-libglade/PKGBUILD multilib/lib32-libpng/PKGBUILD multilib/lib32-libtiff/PKGBUILD multilib/lib32-pango/PKGBUILD multilib/lib32-qt/PKGBUILD multilib/lib32-sdl_image/PKGBUILD multilib/wine/PKGBUILD testing/vlc/PKGBUILD testing/xulrunner/PKGBUILD
2012-02-06Mon Feb 6 23:14:50 UTC 2012root
2012-01-20Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64elNicolas Reynolds
Conflicts: community/gnash/PKGBUILD community/libopenraw/PKGBUILD community/smalltalk/PKGBUILD core/coreutils/PKGBUILD core/libarchive/PKGBUILD extra/dhcp/PKGBUILD extra/gmime/PKGBUILD extra/gvfs/PKGBUILD extra/kdeutils/PKGBUILD extra/libreoffice/PKGBUILD extra/lirc/PKGBUILD extra/php-suhosin/PKGBUILD extra/qtwebkit/PKGBUILD extra/sdl_image/PKGBUILD extra/sdl_net/PKGBUILD extra/sdl_ttf/PKGBUILD extra/spamassassin/PKGBUILD extra/tftp-hpa/PKGBUILD extra/totem-plparser/PKGBUILD extra/tumbler/PKGBUILD extra/vim/PKGBUILD extra/wipe/PKGBUILD extra/xfce4-netload-plugin/PKGBUILD kde-unstable/kdebase-workspace/PKGBUILD kde-unstable/kdebase-workspace/kde-np.pam kde-unstable/kdebase-workspace/kde.pam multilib/binutils-multilib/PKGBUILD multilib/chuck/PKGBUILD multilib/dev86/PKGBUILD multilib/gcc-multilib/PKGBUILD multilib/jack2-multilib/PKGBUILD multilib/lib32-gdk-pixbuf2/PKGBUILD multilib/lib32-glib2/PKGBUILD multilib/lib32-glibc/PKGBUILD multilib/lib32-glibc/lib32-glibc.conf multilib/lib32-gtk2/PKGBUILD multilib/lib32-libpulse/PKGBUILD multilib/lib32-pango/PKGBUILD multilib/lib32-sdl_image/PKGBUILD multilib/lib32-sdl_ttf/PKGBUILD multilib/libtool-multilib/PKGBUILD multilib/nspluginwrapper/PKGBUILD multilib/q4wine/PKGBUILD multilib/wine/PKGBUILD staging/php/PKGBUILD staging/php/php-fpm.conf.in.patch staging/php/php.ini.patch
2012-01-19Thu Jan 19 23:15:03 UTC 2012root
2011-11-01Tue Nov 1 23:15:01 UTC 2011root
2011-11-02Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64elNicolas Reynolds
Conflicts: community/camlp5/PKGBUILD community/dzen2/PKGBUILD extra/boost/PKGBUILD extra/libxmi/PKGBUILD extra/mesa/PKGBUILD multilib/lib32-mesa/PKGBUILD
2011-07-25Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64elNicolas Reynolds
Conflicts: community/compiz-bcop/PKGBUILD community/compiz-fusion-plugins-extra/PKGBUILD community/compiz-fusion-plugins-main/PKGBUILD community/emerald/PKGBUILD community/gmic/PKGBUILD community/libcompizconfig/PKGBUILD core/xinetd/PKGBUILD extra/archboot/PKGBUILD extra/kdeplasma-addons/PKGBUILD extra/kipi-plugins/PKGBUILD extra/libmpdclient/PKGBUILD extra/live-media/PKGBUILD extra/mysql/PKGBUILD extra/pyopenssl/PKGBUILD extra/r/PKGBUILD extra/telepathy-mission-control/PKGBUILD libre/libretools/PKGBUILD multilib-testing/lib32-mesa/PKGBUILD multilib/lib32-libldap/PKGBUILD multilib/lib32-libldap/ntlm.patch multilib/wine/PKGBUILD testing/mesa/PKGBUILD
2011-07-24Sun Jul 24 23:18:00 UTC 2011root
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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-11-09 02:56:07 +0000