|
⇤ ← Revision 1 as of 2021-04-15 00:37:25
Size: 704
Comment:
|
Size: 1372
Comment: note on mlton since I may be tired tomorrow morning
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 13: | Line 13: |
| * ClintonEbadi says: to summarize, I just build it from source [[https://packages.debian.org/sid/mlton|using the sid packaging]] although there has finally been a new release so that's a bit out of date. It is kind of complicated to bootstrap though: have to use an existing binary package injected into the pbuilder to build mlton, then after that inject the new package to the pbuilder to build again to ensure a clean build. AFAICT the dropping from stable is because there's a circular build dependency that requires manual intervention to break. This isn't too bad, because until Debian 8 IIRC it wasn't even in Debian at all and we just built to /usr/local. |
1. When
2. Proposed Agenda
- Elect officers so we can file with Pennsylvania by April 30
- General update on finances
- GANDI domain renewal email from April 13 - anything we need to do?
- Status of volunteer coordinator request
Status & planning for new HCOOP Meetbot (not yet in use)
Quick discussion about the Debian mlton package - how we use it, the impact to us given that it's not officially in Debian any more
ClintonEbadi says: to summarize, I just build it from source using the sid packaging although there has finally been a new release so that's a bit out of date. It is kind of complicated to bootstrap though: have to use an existing binary package injected into the pbuilder to build mlton, then after that inject the new package to the pbuilder to build again to ensure a clean build. AFAICT the dropping from stable is because there's a circular build dependency that requires manual intervention to break. This isn't too bad, because until Debian 8 IIRC it wasn't even in Debian at all and we just built to /usr/local.
3. Records
3.1. Minutes
Minutes will be posted after the meeting has concluded.