From 2aadc03ef15cb5ca5cc2af8a7c08e070742f0ac4 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sat, 4 May 2024 14:47:55 +0200 Subject: Adding upstream version 0.70.1+ds1. Signed-off-by: Daniel Baumann --- vendor/fiat-crypto/CONTRIBUTORS | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 vendor/fiat-crypto/CONTRIBUTORS (limited to 'vendor/fiat-crypto/CONTRIBUTORS') diff --git a/vendor/fiat-crypto/CONTRIBUTORS b/vendor/fiat-crypto/CONTRIBUTORS new file mode 100644 index 0000000..fbe1f02 --- /dev/null +++ b/vendor/fiat-crypto/CONTRIBUTORS @@ -0,0 +1,29 @@ +# This is the official list of people have contributed code to the +# fiat-crypto repository. +# +# The AUTHORS file lists the copyright holders; this file +# lists people. For example, Google employees are listed here +# but not in AUTHORS, because Google holds the copyright. +# +# When adding J Random Contributor's name to this file, +# either J's name or J's organization's name should be +# added to the AUTHORS file, depending on who holds the copyright. +# +# Names should be added to this file like so: +# Individual's name +# Individual's name +# +# An entry with multiple email addresses specifies that the +# first address should be used in the submit logs and +# that the other addresses should be recognized as the +# same person. + +# Please keep the list sorted. + +Adam Chlipala +Andres Erbsen +Daniel Ziegler +David Benjamin +Jade Philipoom +Jason Gross +Robert Sloan -- cgit v1.2.3