summaryrefslogtreecommitdiff
path: root/community/coq
AgeCommit message (Collapse)Author
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-08-09 19:28:19 +0000