applications
|
btor2tools: enable unix platforms
|
2020-10-16 19:39:46 +02:00 |
data
|
marwaita-ubuntu: init at 1.5
|
2020-10-14 10:47:51 -03:00 |
development
|
python37Packages.pysam: 0.15.4 -> 0.16.0.1
|
2020-10-16 10:38:04 -07:00 |
games
|
trigger: 0.6.6 -> 0.6.6.1
|
2020-10-14 00:42:35 +02:00 |
misc
|
Merge pull request #99572 from siraben/tilem-init
|
2020-10-16 12:18:21 -03:00 |
os-specific
|
linux_latest-libre: 17718 -> 17724
|
2020-10-15 12:49:47 -04:00 |
servers
|
gotify-server: 2.0.18 -> 2.0.20
|
2020-10-16 15:50:08 +02:00 |
shells
|
oh-my-zsh: 2020-10-14 -> 2020-10-15
|
2020-10-16 09:29:36 -04:00 |
tools
|
hdf4: 4.2.14 -> 4.2.15, fix build
|
2020-10-15 22:27:03 -07:00 |
top-level
|
Merge pull request #99572 from siraben/tilem-init
|
2020-10-16 12:18:21 -03:00 |