5 Commits

Author SHA1 Message Date
Jakub Čábera
049d3cbc3a
idris: Update to version 1.3.3 (#1163)
#150
2020-06-11 23:46:25 -07:00
Jakub Čábera
34801703a7 idris@1.3.2: Hash fix (#438)
- Closes #429
2019-09-22 17:52:48 +02:00
linsui
0f8c4b09fe Fix ~156 license tags (#272)
* Fix 150 license

* Update

* Update

* Update cockroachdb.json

See https://github.com/cockroachdb/cockroach/blob/master/LICENSE and
https://github.com/cockroachdb/cockroach/blob/master/licenses/BSL.txt

* Apply new rule

* Change to unknown

* Update tup.json

* fix radare2

* Some fix

* Some fix

* Fix sliksvn

* Fix sliksvn

* Update imagemagick.json
2019-08-02 07:28:29 -07:00
Richard Kuhnt
6ebb0f5bcf idris: Update to version 1.3.2 2019-07-23 21:00:21 +00:00
h404bi
ccc24e57b6 Init scoop-main bucket
Co-authored-by: Jakub Čábera <cabera.jakub@gmail.com>
Co-authored-by: Richard Kuhnt <r15ch13+git@gmail.com>
2019-04-22 20:56:04 +08:00