diff options
| author | Debian Janitor <janitor@jelmer.uk> | 2023-03-09 13:42:26 +0000 |
|---|---|---|
| committer | Debian Janitor <janitor@jelmer.uk> | 2023-03-09 13:42:26 +0000 |
| commit | d4149794e949fa60cf8c4ba18679f52c5ba5a2f4 (patch) | |
| tree | 29d7e19724713d374b802007ab0e7ab9b76d08af | |
| parent | 3b00232c528445189468caa80f5a304a5351c460 (diff) | |
Set upstream metadata fields: Repository.
Changes-By: lintian-brush
| -rw-r--r-- | debian/upstream/metadata | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/upstream/metadata b/debian/upstream/metadata index c0ed2ef..0b45351 100644 --- a/debian/upstream/metadata +++ b/debian/upstream/metadata @@ -1,5 +1,5 @@ --- Bug-Database: https://github.com/janestreet-deprecated/pa_ounit/issues Bug-Submit: https://github.com/janestreet-deprecated/pa_ounit/issues/new -Repository: https://github.com/janestreet/pa_ounit.git +Repository: https://github.com/janestreet-deprecated/pa_ounit.git Repository-Browse: https://github.com/janestreet-deprecated/pa_ounit |