agda.rb
|
agda: update 2.6.0.1_1 bottle.
|
2019-07-01 12:21:40 +02:00 |
ammonite-repl.rb
|
ammonite-repl 1.6.9 (#41508)
|
2019-07-01 12:17:59 +02:00 |
bgpstream.rb
|
bgpstream: update 1.2.3 bottle.
|
2019-07-01 12:19:14 +02:00 |
doxygen.rb
|
Fix doxygen HEAD build (#41493)
|
2019-07-01 12:24:14 +02:00 |
enchant.rb
|
enchant: update 2.2.5 bottle.
|
2019-07-02 08:30:56 +02:00 |
ettercap.rb
|
ettercap: update 0.8.3 bottle.
|
2019-07-02 08:30:38 +02:00 |
ffsend.rb
|
ffsend: update 0.2.49 bottle.
|
2019-07-01 12:19:14 +02:00 |
git-cinnabar.rb
|
git-cinnabar: update 0.5.2 bottle.
|
2019-07-02 08:30:25 +02:00 |
guile.rb
|
guile: update 2.2.6 bottle.
|
2019-07-02 08:29:59 +02:00 |
helmsman.rb
|
helmsman: update 1.10.1 bottle.
|
2019-07-01 12:19:14 +02:00 |
imageoptim-cli.rb
|
imageoptim-cli: update 2.3.7 bottle.
|
2019-07-01 19:12:44 +08:00 |
janet.rb
|
janet: update 1.0.0 bottle.
|
2019-07-02 08:30:07 +02:00 |
jenkins.rb
|
jenkins 2.183 (#41506)
|
2019-07-01 12:18:13 +02:00 |
libtrace.rb
|
libtrace: update 4.0.7 bottle.
|
2019-07-01 12:19:14 +02:00 |
lmod.rb
|
lmod 8.1.9
|
2019-07-02 08:31:11 +02:00 |
mill.rb
|
mill 0.4.2
|
2019-07-01 12:19:14 +02:00 |
nco.rb
|
nco: update 4.8.1 bottle.
|
2019-07-02 08:30:31 +02:00 |
neovim.rb
|
neovim: fix HEAD build
|
2019-07-01 19:13:43 +08:00 |
odpi.rb
|
odpi: update 3.2.0 bottle.
|
2019-07-02 08:30:15 +02:00 |
paket.rb
|
paket 5.212.0 (#41511)
|
2019-07-01 12:22:11 +02:00 |
picard-tools.rb
|
picard-tools 2.20.3
|
2019-07-02 08:31:08 +02:00 |
pmd.rb
|
pmd 6.16.0 (#41496)
|
2019-07-01 12:18:31 +02:00 |
re2.rb
|
re2: update 20190701 bottle.
|
2019-07-01 12:23:09 +02:00 |
shc.rb
|
shc: update 4.0.3 bottle.
|
2019-07-02 08:31:03 +02:00 |
sqlmap.rb
|
sqlmap 1.3.7 (#41510)
|
2019-07-01 12:17:32 +02:00 |
topgrade.rb
|
topgrade: update 2.4.0 bottle.
|
2019-07-01 12:19:38 +02:00 |
unzip.rb
|
unzip: update 6.0_5 bottle.
|
2019-07-01 19:13:00 +08:00 |
userspace-rcu.rb
|
userspace-rcu: update 0.11.1 bottle.
|
2019-07-01 12:19:14 +02:00 |
uwsgi.rb
|
uwsgi: update 2.0.18 bottle.
|
2019-07-01 12:19:14 +02:00 |
wandio.rb
|
wandio: update 4.2.1 bottle.
|
2019-07-01 12:19:14 +02:00 |
webtorrent-cli.rb
|
webtorrent-cli: update 2.0.0 bottle.
|
2019-07-01 12:20:50 +02:00 |
xonsh.rb
|
xonsh: update 0.9.7 bottle.
|
2019-07-01 12:19:14 +02:00 |
zshdb.rb
|
zshdb: update 1.0.0 bottle.
|
2019-07-01 12:19:14 +02:00 |