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
/
dev-lang
/
fsharp
Commit message (
Expand
)
Author
Age
Files
Lines
*
dev-lang/*: Update Manifest hashes
Michał Górny
2017-12-09
1
-1
/
+1
*
dev-lang/fsharp: bump 4.0.x version, remove 4.1.x version
Mikhail Pukhlikov
2017-11-20
3
-29
/
+1
*
dev-lang/fsharp: fix 621166
Mikhail Pukhlikov
2017-06-08
1
-1
/
+0
*
dev-lang/fsharp: bump to 4.1.18
Mikhail Pukhlikov
2017-06-07
2
-0
/
+39
*
Drop $Id$ per council decision in bug #611234.
Robin H. Johnson
2017-02-28
1
-1
/
+0
*
dev-lang/fsharp: bump
Mikhail Pukhlikov
2016-12-02
2
-1
/
+1
*
dev-lang/fsharp: bump
Mikhail Pukhlikov
2016-10-27
2
-1
/
+1
*
dev-lang/fsharp: bump
Mikhail Pukhlikov
2016-10-11
2
-1
/
+1
*
dev-lang/fsharp: drop old
Pacho Ramos
2016-10-09
2
-29
/
+0
*
dev-lang/fsharp: bump, fixes build error
Heather Cynede
2016-06-24
2
-2
/
+2
*
Set appropriate maintainer types in metadata.xml (GLEP 67)
Michał Górny
2016-01-24
1
-1
/
+1
*
Replace all herds with appropriate projects (GLEP 67)
Michał Górny
2016-01-24
1
-1
/
+4
*
def-lang/fsharp: bump
Heather Cynede
2015-10-29
2
-1
/
+1
*
dev-lang/fsharp-3.x bump mono depend
Heather Cynede
2015-09-30
1
-1
/
+1
*
dev-lang/fsharp bump mono depend
Heather Cynede
2015-09-30
1
-1
/
+1
*
Revert DOCTYPE SYSTEM https changes in metadata.xml
Mike Gilbert
2015-08-24
1
-1
/
+1
*
Use https by default
Justin Lecher
2015-08-24
1
-1
/
+1
*
cosmetic: set up new $Id$ header in lieu of former CVS $Header$ header. These...
Patrice Clement
2015-08-12
2
-2
/
+2
*
fsharp bump
Heather Cynede
2015-08-11
3
-3
/
+32
*
proj/gentoo: Initial commit
Robin H. Johnson
2015-08-08
3
-0
/
+40