Releases around HOL-Theorem-Prover/HOL HOL-Omega-kananaskis-6 on GitHub

HOL-Theorem-Prover/HOL on GitHub HOL-Omega-kananaskis-6

bucardo/tail_n_mail on GitHub 1.16.7

org.codehaus.plexus:plexus-container-default on Java Maven 1.5.5

org.codehaus.plexus:plexus-component-annotations on Java Maven 1.5.5

ungleich/cdist on GitHub 0.6

Digest-MD5 on Perl CPAN 2.51

Dual-Life/digest-md5 on GitHub 2.51

sassoftware/conary on GitHub rba-barb-5.6.3

zopefoundation/ZODB on GitHub 3.10.0b8

hyphanet/fred on GitHub build01279

vim/vim on GitHub v7.3.019

netwide-assembler/nasm on GitHub nasm-2.10rc1

GNOME/gobject-introspection on GNOME GitLab GOBJECT_INTROSPECTION_0_9_10

FarGroup/FarManager on GitHub builds/2.0.1685 builds/2.0.1684

GNOME/gobject-introspection on GNOME GitLab GOBJECT_INTROSPECTION_0_9_9

BOINC/boinc on GitHub client_release/6.11/6.11.9

qtractor on SourceForge qtractor (attic)/qtractor-0.4.7.tar.gz

modxcms/revolution on GitHub v2.0.3-pl

Whoosh on Python PyPI 1.0.0b19

hhatto/pgmagick on GitHub ver0.2.5

vanilla/vanilla on GitHub Vanilla_2.0.10

GNOME/tinysparql on GNOME GitLab 0.9.23

GNOME/tracker on GNOME GitLab 0.9.23

GNOME/localsearch on GNOME GitLab 0.9.23

GNOME/tracker-miners on GNOME GitLab 0.9.23

Activiti/Activiti on GitHub activiti-5.0.beta2

AyatanaIndicators/ayatana-indicator-datetime on GitHub 0.0.6-0ubuntu3

AcademySoftwareFoundation/OpenImageIO on GitHub Release-0.8.7

hyphanet/fred on GitHub testing-build-1279-pre4

org.jgroups:jgroups on Java Maven 2.11.0.Alpha3

hyphanet/fred on GitHub testing-build-1279-pre3