Skip to content

Commit

Permalink
Remove references to my contact details from repo (#1119)
Browse files Browse the repository at this point in the history
This PR removes any final references to my contact details from the LLVM
backend repo, and assigns them to @gtrepta instead.
  • Loading branch information
Baltoli authored Jul 26, 2024
1 parent cd93d18 commit 5467350
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion package/debian/changelog
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,4 @@ k-llvm-backend (0.1.5) unstable; urgency=medium

* Initial release

-- Bruce Collie <bruce.collie@runtimeverification.com> Fri, 26 Apr 2024 15:43:00 +0100
-- Guy Repta <guy.repta@runtimeverification.com> Fri, 26 Apr 2024 15:43:00 +0100
2 changes: 1 addition & 1 deletion package/debian/control.jammy
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
Source: k-llvm-backend
Section: devel
Priority: optional
Maintainer: Bruce Collie <bruce.collie@runtimeverification.com>
Maintainer: Guy Repta <guy.repta@runtimeverification.com>
Build-Depends: clang-15 , cmake , debhelper (>=10) , flex , libboost-dev , libboost-test-dev , libfmt-dev , libgmp-dev , libjemalloc-dev , libmpfr-dev , libunwind-dev , libyaml-dev , llvm-15-tools , pkg-config , python3 , python3-dev , xxd
Standards-Version: 3.9.6
Homepage: https://github.com/runtimeverification/llvm-backend
Expand Down
2 changes: 1 addition & 1 deletion package/debian/control.noble
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
Source: k-llvm-backend
Section: devel
Priority: optional
Maintainer: Bruce Collie <bruce.collie@runtimeverification.com>
Maintainer: Guy Repta <guy.repta@runtimeverification.com>
Build-Depends: clang-17 , cmake , debhelper (>=10) , flex , libboost-dev , libboost-test-dev , libfmt-dev , libgmp-dev , libjemalloc-dev , libmpfr-dev , libunwind-dev , libyaml-dev , llvm-17-tools , pkg-config , python3 , python3-dev , xxd
Standards-Version: 3.9.6
Homepage: https://github.com/runtimeverification/llvm-backend
Expand Down
2 changes: 1 addition & 1 deletion package/debian/copyright
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: k-llvm-backend
Upstream-Contact: Bruce Collie <bruce.collie@runtimeverification.com>
Upstream-Contact: Guy Repta <guy.repta@runtimeverification.com>
Source: https://github.com/runtimeverification/llvm-backend

Files: *
Expand Down

0 comments on commit 5467350

Please sign in to comment.