 Connor Olding
|
5d721c561a
|
update shit
|
2023-05-13 01:17:10 -07:00 |
|
|
Connor Olding
|
0af3a894a8
|
update yices
|
2023-04-30 01:31:58 -07:00 |
|
|
Connor Olding
|
04c85609a5
|
update shit
|
2023-04-28 15:48:56 -07:00 |
|
|
Connor Olding
|
2d4fde876c
|
update shit
|
2023-03-03 06:58:04 -08:00 |
|
|
Connor Olding
|
0048bd4c8a
|
update shit
|
2022-12-30 17:36:57 -08:00 |
|
|
Connor Olding
|
5b6d366c53
|
yices: update version
|
2022-12-07 00:56:20 -08:00 |
|
|
Connor Olding
|
ec3061b6ea
|
yices: update version
|
2022-11-20 18:44:04 -08:00 |
|
|
Connor Olding
|
ad9aa9fa70
|
yices: rewrite comment
|
2022-10-18 13:47:18 -07:00 |
|
|
Connor Olding
|
45bdb84af5
|
yices: don't strip symbols, also reduce build noise
|
2022-10-18 13:42:12 -07:00 |
|
|
Connor Olding
|
76456e8ea2
|
kuroko, muon, perl, yices: use rescue container
|
2022-10-15 01:28:37 -07:00 |
|
|
Connor Olding
|
78c1cda400
|
cosmo: split into cosmo-bootstrap and cosmo-base
|
2022-10-15 00:21:43 -07:00 |
|
|
Connor Olding
|
ff981305d2
|
cosmo: update version
|
2022-10-12 06:36:57 -07:00 |
|
|
Connor Olding
|
4e6b866673
|
muon, yices: fix copying for non-default builds
|
2022-10-11 12:01:17 -07:00 |
|
|
Connor Olding
|
c6f285c761
|
all: use new acquire feature
|
2022-10-11 11:18:16 -07:00 |
|
|
Connor Olding
|
4ef5dd5a5e
|
all: use cosmopolitan make.com everywhere
|
2022-10-11 10:07:48 -07:00 |
|
|
Connor Olding
|
8ac6be1fb6
|
cosmo, yices: update versions
|
2022-10-09 14:24:38 -07:00 |
|
|
Connor Olding
|
df4f8b9dac
|
util, yices: use ARG instead of ENV for versioning
|
2022-10-04 19:43:28 -07:00 |
|
|
Connor Olding
|
c6866b36f3
|
cosmo, muon, yices: update versions
|
2022-10-04 19:43:28 -07:00 |
|
|
Connor Olding
|
114543d50a
|
all: use new acquire functionality
|
2022-10-02 03:30:04 -07:00 |
|
|
Connor Olding
|
e3ca67c7b3
|
util: create a shortcut path to /usr/local/bin
|
2022-10-01 11:19:43 -07:00 |
|
|
Connor Olding
|
c5d5b03b25
|
all: use shed utility
|
2022-10-01 11:19:43 -07:00 |
|
|
Connor Olding
|
12f57f61f6
|
update comments and todo
|
2022-09-23 15:39:25 -07:00 |
|
|
Connor Olding
|
2280df8fc0
|
add cosmo-yices
|
2022-09-23 14:15:02 -07:00 |
|