Update repr@0.3.1

[thomashoneyman]

{
  "name": "repr",
  "ref": "v0.3.1",
  "compiler": "0.14.0",
  "location": {
    "githubOwner": "joellefkowitz",
    "githubRepo": "repr"
  }
}

[pacchettibotti]

Package source does not have a purs.json file. Creating one from your bower.json and/or spago.dhall files...

[pacchettibotti]

Converted your legacy manifest(s) into a purs.json manifest to use for publishing:

  "name": "repr",
  "version": "0.3.1",
  "license": "MIT",
  "description": "String formatting utilities.",
  "location": {
    "githubOwner": "joellefkowitz",
    "githubRepo": "repr"
  },
  "dependencies": {
    "ordered-collections": ">=2.0.0 <3.0.0",
    "prelude": ">=5.0.0 <6.0.0",
    "strings": ">=5.0.0 <6.0.0",
    "stringutils": ">=0.0.11 <0.0.12",
    "tuples": ">=6.0.0 <7.0.0"
  }
}```

[pacchettibotti]

This version has already been published to the registry, but the docs have not been uploaded to Pursuit. Skipping registry publishing and retrying Pursuit publishing...

[pacchettibotti]

Publishing failed for your package due to an unknown compiler error:

There is a problem with your package, which meant that it could not be        
published.                                                                    
Details:                                                                      
  The 'repository' field is not present in your package manifest file. Without
  this information, Pursuit would not be able to generate source links in your
  package's documentation. Please add one - like this, for example:           
                                                                              
    "repository": {                                                           
      "type": "git",                                                          
      "url": "https://github.com/joellefkowitz/repr.git"                      
    }                                                                         
An error occurred while decoding a JSON value:
  Expected value of type 'JSON: Unexpected end of JSON input'.