GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
repo/gentoo.git
master
Official Gentoo ebuild repository
Infrastructure team <infrastructure@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
media-sound
/
supercollider
/
Manifest
Commit message (
Expand
)
Author
Age
Files
Lines
*
media-sound/supercollider: fix build w/ boost-1.85
Sam James
2024-07-16
1
-0
/
+1
*
media-sound/supercollider: drop 3.11.2 and unneeded patches
Andie Verbus
2023-04-25
1
-1
/
+0
*
media-sound/supercollider: add 3.13.0
Andie Verbus
2023-04-25
1
-0
/
+1
*
media-sound/supercollider: Drop 3.11.0-r1
Andreas Sturmlechner
2021-01-23
1
-1
/
+0
*
media-sound/supercollider: Bump to 3.11.2
Simon van der Veldt
2020-12-17
1
-0
/
+1
*
media-sound/supercollider: Drop 3.10.2
Andreas Sturmlechner
2020-06-22
1
-1
/
+0
*
media-sound/supercollider-3.11.0: version bump
Hector Martin
2020-06-22
1
-0
/
+1
*
media-sound/supercollider: Drop old
Michał Górny
2019-09-11
1
-1
/
+0
*
media-sound/supercollider: 3.10.2 version bump
Andreas Sturmlechner
2019-06-28
1
-0
/
+1
*
media-sound/supercollider: Drop old
Andreas Sturmlechner
2018-07-11
1
-1
/
+0
*
media-sound/supercollider: drop old
Simon van der Veldt
2018-06-24
1
-1
/
+0
*
media-sound/supercollider: bump to 3.9.3
Simon van der Veldt
2018-06-24
1
-0
/
+1
*
media-sound/supercollider: bump to 3.8.1
Simon van der Veldt
2018-06-24
1
-0
/
+1
*
media-sound/*: Update Manifest hashes
Michał Górny
2017-12-10
1
-1
/
+1
*
media-sound/supercollider: add package
Ingolf Wagner
2017-03-16
1
-0
/
+1