summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/*: Update Manifest hashesMichał Górny2017-12-091-1/+1
* dev-lang/fsharp: bump 4.0.x version, remove 4.1.x versionMikhail Pukhlikov2017-11-203-29/+1
* dev-lang/fsharp: fix 621166Mikhail Pukhlikov2017-06-081-1/+0
* dev-lang/fsharp: bump to 4.1.18Mikhail Pukhlikov2017-06-072-0/+39
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* dev-lang/fsharp: bumpMikhail Pukhlikov2016-12-022-1/+1
* dev-lang/fsharp: bumpMikhail Pukhlikov2016-10-272-1/+1
* dev-lang/fsharp: bumpMikhail Pukhlikov2016-10-112-1/+1
* dev-lang/fsharp: drop oldPacho Ramos2016-10-092-29/+0
* dev-lang/fsharp: bump, fixes build errorHeather Cynede2016-06-242-2/+2
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-1/+1
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-1/+4
* def-lang/fsharp: bumpHeather Cynede2015-10-292-1/+1
* dev-lang/fsharp-3.x bump mono dependHeather Cynede2015-09-301-1/+1
* dev-lang/fsharp bump mono dependHeather Cynede2015-09-301-1/+1
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-241-1/+1
* cosmetic: set up new $Id$ header in lieu of former CVS $Header$ header. These...Patrice Clement2015-08-122-2/+2
* fsharp bumpHeather Cynede2015-08-113-3/+32
* proj/gentoo: Initial commitRobin H. Johnson2015-08-083-0/+40