simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-05 19:00:33 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

copyright header in .header; authors in opam file

Browse source
This commit is contained in:
Simon Cruanes 2014-11-04 17:59:58 +01:00
parent e95dec0663
commit 6cc3510d0e
4 changed files with 16 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
.header Normal file
View file

@ -0,0 +1,5 @@
(*
MSAT is free software, using the Apache license, see file LICENSE
Copyright 2014 Guillaume Bury
Copyright 2014 Simon Cruanes
*)

2
opam
View file

@ -1,7 +1,7 @@
opam-version: "1.2"
license: "Apache"
version: "dev"
author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer"]
author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer" "Simon Cruanes" "Guillaume Bury"]
maintainer: ["guillaume.bury@gmail.com" "simon.cruanes@inria.fr"]
build: [
[make "all"]

6
sat/res.ml
View file

@ -1,4 +1,8 @@
(* Copyright 2014 Guillaume Bury *)
(*
MSAT is free software, using the Apache license, see file LICENSE
Copyright 2014 Guillaume Bury
Copyright 2014 Simon Cruanes
*)
module type S = Res_intf.S

6
sat/res.mli
View file

@ -1,4 +1,8 @@
(* Copyright 2014 Guillaume Bury *)
(*
MSAT is free software, using the Apache license, see file LICENSE
Copyright 2014 Guillaume Bury
Copyright 2014 Simon Cruanes
*)
module type S = Res_intf.S