anil.recoil.org / opam-repository
this repo has no description
fork atom

goblint.2.4.0: add maintainer email

Simmo Saan 3e00da49 19bed85d

options
unified split
Changed files
+1 -1
packages
goblint
goblint.2.4.0
opam
+1 -1
packages/goblint/goblint.2.4.0/opam 
···

       
8

       
 

       
maintainer: [


     

       
9

       
 

       
  "Simmo Saan <simmo.saan@gmail.com>"


     

       
10

       
 

       
  "Michael Schwarz <michael.schwarz93@gmail.com>"


     

       
11

       
-

       
  "Karoliine Holter"


     

       
12

       
 

       
]


     

       
13

       
 

       
authors: [


     

       
14

       
 

       
  "Simmo Saan"


     
···

       
8

       
 

       
maintainer: [


     

       
9

       
 

       
  "Simmo Saan <simmo.saan@gmail.com>"


     

       
10

       
 

       
  "Michael Schwarz <michael.schwarz93@gmail.com>"


     

       
11

       
+

       
  "Karoliine Holter <karoliine.holter@ut.ee>"


     

       
12

       
 

       
]


     

       
13

       
 

       
authors: [


     

       
14

       
 

       
  "Simmo Saan"