diff options
Diffstat (limited to 'dotnet.txt')
| -rw-r--r-- | dotnet.txt | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/dotnet.txt b/dotnet.txt index 50e1ec5cde97..6db6e7c0d7c9 100644 --- a/dotnet.txt +++ b/dotnet.txt @@ -21,16 +21,4 @@ Already up-to-date. $ pmaint regen --use-local-desc --pkg-desc-index -t 1 dotnet WARNING:pkgcore:repository at '/home/mgorny/repos/steveeJ' has unsupported profile format(s): 'profile-set' WARNING:pkgcore:repository at '/home/mgorny/repos/steveeJ' has unsupported profile format(s): 'profile-set' -WARNING: 'use' function invoked by dev-lang/fsharp-9999 during metadata regeneration. -WARNING: Please ensure upstream is aware of it and working to remove it. - -WARNING: 'use' function invoked by dev-lang/fsharp-9999 during metadata regeneration. -WARNING: Please ensure upstream is aware of it and working to remove it. - -WARNING: 'use' function invoked by dev-lang/nemerle-9999 during metadata regeneration. -WARNING: Please ensure upstream is aware of it and working to remove it. - -WARNING: 'use' function invoked by dev-dotnet/fake-9999 during metadata regeneration. -WARNING: Please ensure upstream is aware of it and working to remove it. - * Cache regenerated successfully |