Re: Adding copilot
- To: Scott Talbert <swt@techie.net>
- Cc: debian-haskell@lists.debian.org
- Subject: Re: Adding copilot
- From: Ivan Perez <ivan.perez@keera.co.uk>
- Date: Wed, 24 Aug 2022 01:50:30 +0100
- Message-id: <[🔎] 704c1d59503159d7578e08872699da08@keera.co.uk>
- In-reply-to: <[🔎] alpine.DEB.2.22.394.2208211449540.242634@bear.techie.net>
- References: <bfcd192f19e68dcc996612e0c1cc39e4@keera.co.uk> <Yqp63q9yXHKPz+3b@scru.org> <010b01817bb690aa-5f9b0f8f-59a1-47d3-8264-84c5fec4dadb-000000@eu-west-2.amazonses.com> <59dcc20c6f4ee6463476066b9f3748c8@keera.co.uk> <alpine.DEB.2.22.394.2206291054210.51200@bear.techie.net> <4acec937d707b9c8cf5d85dce3f7fe13@keera.co.uk> <alpine.DEB.2.22.394.2207082138530.257322@bear.techie.net> <c1c14ed9a483ce9d81086acd43a12271@keera.co.uk> <alpine.DEB.2.22.394.2207091012050.267345@bear.techie.net> <87c0561e4f99216f3fd54a7e5be1101f@keera.co.uk> <576b96214f33f3b267e4ed92068b6980@keera.co.uk> <b4a0aad639ee2cbc91999784d99d0747@keera.co.uk> <alpine.DEB.2.22.394.2207192314200.260050@bear.techie.net> <032ff6971638f3080954709159c24661@keera.co.uk> <alpine.DEB.2.22.394.2207200906430.270957@bear.techie.net> <11492de4a1b470491d91fc16a266459d@keera.co.uk> <alpine.DEB.2.22.394.2207281740550.516966@bear.techie.net> <c016c459e83fcb14215584672d020470@keera.co.uk> <[🔎] alpine.DEB.2.22.394.2208211449540.242634@bear.techie.net>
On 2022-08-21 19:53, Scott Talbert wrote:
On Fri, 29 Jul 2022, Ivan Perez wrote:
Hi Ivan,
I've continued to make progress on copilot.
That's really great! I've seen the progress! :)
I'm on copilot-theorem
now, and I've run into a little trouble with the copyrights - there
isn't a copyright listed in the .cabal file. Can you identify who the
copyright holder(s) for copilot-theorem are?
This predates my arrival to the project.
It's likely the same as others.
I've sent your question to the project lead to confirm.
Thanks,
Ivan
Reply to: