Merge pull request #8022 from thielema/portmidi

Add Portmidi
This commit is contained in:
Jens Petersen 2026-05-29 14:47:07 +08:00 committed by GitHub
commit 920fdd055b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 3 additions and 0 deletions

View File

@ -668,6 +668,7 @@ packages:
- ods2csv
- pathtype
- pooled-io
- portmidi-utility
- probability
- quickcheck-transformer
- reactive-banana-bunch
@ -730,6 +731,7 @@ packages:
- storable-endian
- glpk-headers
- derive-storable
- PortMidi
"Romain Edelmann <romain.edelmann@gmail.com> @redelmann":
- distribution

View File

@ -110,6 +110,7 @@ apt-get install -y \
libpcre2-dev \
libpcre3-dev \
libpipewire-0.3-dev \
libportmidi-dev \
libpq-dev \
libprimecount-dev \
libprotobuf-dev \