Releases around HOL-Theorem-Prover/HOL athabasca-5 on GitHub

HOL-Theorem-Prover/HOL on GitHub athabasca-5 kananaskis-6 kananaskis-7 kananaskis-4

nsxiv/nsxiv on GitHub 0.9

fabric on Node.js NPM 0.5.3

util-linux/util-linux on GitHub v2.20-rc2

coffee-rails on Ruby Gems 3.1.0.rc.6

mysql2 on Ruby Gems 0.2.12

railties on Ruby Gems 3.1.0.rc6

activesupport on Ruby Gems 3.1.0.rc6

activerecord on Ruby Gems 3.1.0.rc6

activemodel on Ruby Gems 3.1.0.rc6

actionpack on Ruby Gems 3.1.0.rc6

actionmailer on Ruby Gems 3.1.0.rc6

railties on Ruby Gems 3.0.10

activesupport on Ruby Gems 3.0.10

activerecord on Ruby Gems 3.0.10

activemodel on Ruby Gems 3.0.10

actionpack on Ruby Gems 3.0.10

actionmailer on Ruby Gems 3.0.10

activesupport on Ruby Gems 2.3.14

activerecord on Ruby Gems 2.3.14

actionpack on Ruby Gems 2.3.14

actionmailer on Ruby Gems 2.3.14

formtastic on Ruby Gems 2.0.0.rc4

AyatanaIndicators/ayatana-indicator-datetime on GitHub 0.2.92-0ubuntu1

ravendb/ravendb on GitHub build-438

natural on Node.js NPM 0.0.40

c-ares/c-ares on GitHub cares-1_7_5

PlayOnLinux/POL-POM-4 on GitHub 4.0.1

fabric on Node.js NPM 0.5.2