Releases around rocq-prover/rocq V8.0pl4 on GitHub

rocq-prover/rocq on GitHub V8.0pl4 V8.0-APP V8-0pl3 V8-0pl2 V8-0pl1 V8-0cdrom V8-0beta V8-0 V7-4 V7-3-1 V7-3 V7-2 V7-1 V7-0beta4 V7-0beta3-ocaml3-01 V7-0beta2 V7-0beta V7-0

wireshark/wireshark on GitLab v1.11.3-rc1

erengy/taiga on GitHub v0.9.138

GNOME/gnome-notes on GNOME GitLab BIJIBEN_3_11_2

slic3r/Slic3r on GitHub 1.0.0RC1

gnucash on SourceForge gnucash (unstable)/2.5.8/gnucash-2.5.8-setup.exe gnucash (unstable)/2.5.8/Gnucash-PPC-2.5.8-1.dmg gnucash (unstable)/2.5.8/Gnucash-Intel-2.5.8-1.dmg

craue/formflow-bundle on PHP Packagist 2.1.3

wireshark/wireshark on GitLab v1.11.2

express-mysql-session on Node.js NPM 0.0.4

GravityBox/GravityBox on GitHub v2.7.3

jabberd2/jabberd2 on GitHub jabberd-2.2.15 jabberd-2.2.16 jabberd-2.2.17