|
|
df4f8b9dac
|
util, yices: use ARG instead of ENV for versioning
|
2022-10-04 19:43:28 -07:00 |
|
|
|
c6866b36f3
|
cosmo, muon, yices: update versions
|
2022-10-04 19:43:28 -07:00 |
|
|
|
114543d50a
|
all: use new acquire functionality
|
2022-10-02 03:30:04 -07:00 |
|
|
|
e3ca67c7b3
|
util: create a shortcut path to /usr/local/bin
|
2022-10-01 11:19:43 -07:00 |
|
|
|
c5d5b03b25
|
all: use shed utility
|
2022-10-01 11:19:43 -07:00 |
|
|
|
12f57f61f6
|
update comments and todo
|
2022-09-23 15:39:25 -07:00 |
|
|
|
2280df8fc0
|
add cosmo-yices
|
2022-09-23 14:15:02 -07:00 |
|
