profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/mseri/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Marcello Seri mseri Rijksuniversiteit Groningen Groningen, NL mseri.me

mirage/ocaml-cohttp 558

An OCaml library for HTTP clients and servers using Lwt or Async

ArulselvanMadhavan/ocaml-ctfp 104

OCaml version of Category Theory For Programmers

mirage/ocaml-rpc 75

Light library to deal with RPCs in OCaml

hcarty/ocaml-plplot 12

OCaml bindings for PLplot

ben-oxley/homeFlux 8

Creating a lighting solution for energy efficiency and wellbeing to work with Philips Hue lighting systems

lnav-xenserver-logs/lnav_xenserver_logs 5

lnav format file for Citrix Hypervisor (formerly XenServer) logs

gaborigloi/rpc_tk 4

Generate TK GUI for interfaces declared with ocaml-rpc's IDL

mseri/AoM 3

Lecture notes of the course Analysis On Manifolds

fzadra/VanDerPolContact 2

Numerical Simulations Van Der Pol: Bravetti, Seri, Zadra

framp/hashcode-2017 1

HashCode Google 2017 challenge

startedbacktracking/ocaml-hashcons

started time in a day

startedbacktracking/astro

started time in a day

push eventocaml/opam-repository

zapashcanon

commit sha 7629e7f949eeba1966e7a27138d784fb9c193a9f

make ezjs_min.0.2.2 not available

view details

Marcello Seri

commit sha 8a7a664d7505e3e02d1147f2f64450915a7fe1a8

Merge pull request #19511 from zapashcanon/ezjs_min make ezjs_min.0.2.2 not available

view details

push time in a day

PR merged ocaml/opam-repository

make ezjs_min.0.2.2 not available

the tarball is not even in the cache so there's nothing we can do here...

@maxtori

+1 -0

1 comment

1 changed file

zapashcanon

pr closed time in a day

pull request commentocaml/opam-repository

make ezjs_min.0.2.2 not available

Yes, looking at the commit history I think 0.2.2 is what is now 0.2.3

zapashcanon

comment created time in a day

push eventocaml/opam-repository

Gagandeep Singh

commit sha 902755990167d4f968ae5ae308b31ecfa04faae7

Elina version 1.3.1

view details

Gagandeep Singh

commit sha 3f6b82d41f46b85c5ca6af658b7c72eda933d9d3

Changed the md5 checksum

view details

Marcello Seri

commit sha b965b25de7e669238daf290a06129a9e881d0dee

Merge pull request #19521 from GgnDpSngh/patch-4 Elina version 1.3.1

view details

push time in a day

PR merged ocaml/opam-repository

Elina version 1.3.1 needs reporter action

Alright, creating 1.3.1, please let me know if it works. As I am not super familiar with OCaml package maintenance, it is possible that something is off.

Cheers, Gagandeep Singh

+55 -0

3 comments

1 changed file

GgnDpSngh

pr closed time in a day

pull request commentocaml/opam-repository

Elina version 1.3.1

Looks fine. The failure

#=== ERROR while compiling elina.1.3.1 ========================================#
# context              2.1.0 | linux/x86_32 | ocaml-base-compiler.4.12.0 | pinned(https://github.com/eth-sri/ELINA/archive/1.3.1.tar.gz)
# path                 ~/.opam/4.12/.opam-switch/build/elina.1.3.1
# command              ~/.opam/opam-init/hooks/sandbox.sh build make -j31
# exit-code            2
# env-file             ~/.opam/log/elina-5435-895f3f.env
# output-file          ~/.opam/log/elina-5435-895f3f.out
### output ###
# (cd elina_linearize; make all)
# make[1]: warning: jobserver unavailable: using -j1.  Add '+' to parent make rule.
# make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/elina.1.3.1/elina_linearize'
# cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g  -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR    -I/home/opam/.opam/4.12/share/apron/include -I../apron_interface -o elina_generic.o elina_generic.c  -lmpfr  -lgmp -lm -L/home/opam/.opam/4.12/share/apron/lib -lapron	
# In file included from /usr/include/assert.h:35,
#                  from /home/opam/.opam/4.12/share/apron/include/ap_coeff.h:14,
#                  from ../apron_interface/apron_wrapper.h:28,
#                  from elina_generic.h:27,
#                  from elina_generic.c:25:
# /usr/include/features.h:461:12: fatal error: sys/cdefs.h: No such file or directory
#   461 | #  include <sys/cdefs.h>
#       |            ^~~~~~~~~~~~~
# compilation terminated.
# make[1]: *** [Makefile:51: elina_generic.o] Error 1
# make[1]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/elina.1.3.1/elina_linearize'
# make: *** [Makefile:46: c] Error 2

was already discussed last time and we believe is the consequence of a bug in the CI

GgnDpSngh

comment created time in a day

push eventocaml/opam-repository

Josef Erben

commit sha 5944cf1ba6f2e52ffab4955558925a2e4a652385

Package letters.0.3.0

view details

Marcello Seri

commit sha dd7e504aa4d95f1dec93f2f936527434b0f54a82

Merge pull request #19532 from joseferben/opam-publish-letters.0.3.0 Package letters.0.3.0

view details

push time in a day

PR merged ocaml/opam-repository

Package letters.0.3.0 needs reporter action

letters.0.3.0

Client library for sending emails over SMTP Simple to use SMTP client implementation for OCaml


  • Homepage: https://github.com/oxidizing/letters/
  • Source repo: git+https://github.com/oxidizing/letters.git
  • Bug tracker: https://github.com/oxidizing/letters/issues

:camel: Pull-request generated by opam-publish v2.1.0

+50 -0

3 comments

1 changed file

joseferben

pr closed time in a day

pull request commentocaml/opam-repository

Package letters.0.3.0

Thanks!

joseferben

comment created time in a day

pull request commentocaml/opam-repository

Package liquidsoap.2.0.0~rc1

Looks good

toots

comment created time in a day

push eventocaml/opam-repository

Romain Beauxis

commit sha 3e56791c4087f21174dacf306d13da40aeeec8af

Package liquidsoap.2.0.0~rc1

view details

Marcello Seri

commit sha 9781c2082d3aeb2e5046968883dfcd423e303b84

Merge pull request #19534 from toots/opam-publish-liquidsoap.2.0.0-rc1 Package liquidsoap.2.0.0~rc1

view details

push time in a day

PR merged ocaml/opam-repository

Package liquidsoap.2.0.0~rc1 consider for merge

liquidsoap.2.0.0~rc1

Swiss-army knife for multimedia streaming Liquidsoap is a powerful and flexible language for describing your streams. It offers a rich collection of operators that you can combine at will, giving you more power than you need for creating or transforming streams. But liquidsoap is still very light and easy to use, in the Unix tradition of simple strong components working together.


  • Homepage: https://github.com/savonet/liquidsoap
  • Source repo: git+https://github.com/savonet/liquidsoap.git
  • Bug tracker: https://github.com/savonet/liquidsoap/issues

:camel: Pull-request generated by opam-publish v2.0.3

+12 -12

4 comments

1 changed file

toots

pr closed time in a day

starteddbuenzli/uucp

started time in a day

starteddbuenzli/uucd

started time in a day

pull request commentocaml/opam-repository

Package letters.0.3.0

The checksum seems to be incorrect:

https://github.com/oxidizing/letters/archive/0.3.0.tar.gz (Bad checksum, expected md5=c0d724e935dfd46295e807433292cbc1)
joseferben

comment created time in a day

Pull request review commentocaml/opam-repository

Package frenetic.5.0.5

+opam-version: "2.0"+synopsis: "The Frenetic Programming Language and Runtime System"+maintainer: "Steffen Smolka <smolka@cs.cornell.edu>"+authors: "Arjun Guha <arjun@cs.umass.edu>, Nate Foster <jnfoster@cs.cornell.edu>, Steffen Smolka <smolka@cs.cornell.edu>"+homepage: "http://frenetic-lang.org"+bug-reports: "https://github.com/frenetic-lang/frenetic/issues"+dev-repo: "git+https://github.com/frenetic-lang/frenetic.git"+build: [

Can you please add the license in spdx form: https://spdx.org/licenses/

jnfoster

comment created time in a day

PullRequestReviewEvent

pull request commentocaml/opam-repository

Package frenetic.5.0.5

All builds are failing with

#       ocamlc src/syntax/.frenetic_ppx.objs/byte/frenetic_ppx__Ppx.{cmi,cmo,cmt} (exit 2)
# (cd _build/default && /home/opam/.opam/4.12/bin/ocamlc.opt -w -40 -g -bin-annot -I src/syntax/.frenetic_ppx.objs/byte -I /home/opam/.opam/4.12/lib/astring -I /home/opam/.opam/4.12/lib/base -I /home/opam/.opam/4.12/lib/base/base_internalhash_types -I /home/opam/.opam/4.12/lib/base/caml -I /home/opam/.opam/4.12/lib/base/md5 -I /home/opam/.opam/4.12/lib/base/shadow_stdlib -I /home/opam/.opam/4.12/lib/base64 -I /home/opam/.opam/4.12/lib/base_bigstring -I /home/opam/.opam/4.12/lib/base_quickcheck -I /home/opam/.opam/4.12/lib/bigarray-compat -I /home/opam/.opam/4.12/lib/bin_prot -I /home/opam/.opam/4.12/lib/bin_prot/shape -I /home/opam/.opam/4.12/lib/biniou -I /home/opam/.opam/4.12/lib/bytes -I /home/opam/.opam/4.12/lib/core -I /home/opam/.opam/4.12/lib/core/error_checking_mutex -I /home/opam/.opam/4.12/lib/core_kernel -I /home/opam/.opam/4.12/lib/core_kernel/base_for_tests -I /home/opam/.opam/4.12/lib/core_kernel/caml_unix -I /home/opam/.opam/4.12/lib/core_kernel/flags -I /home/opam/.opam/4.12/lib/core_kernel/version_util -I /home/opam/.opam/4.12/lib/cstruct -I /home/opam/.opam/4.12/lib/cstruct-sexp -I /home/opam/.opam/4.12/lib/domain-name -I /home/opam/.opam/4.12/lib/easy-format -I /home/opam/.opam/4.12/lib/fieldslib -I /home/opam/.opam/4.12/lib/fmt -I /home/opam/.opam/4.12/lib/gen -I /home/opam/.opam/4.12/lib/ipaddr -I /home/opam/.opam/4.12/lib/jane-street-headers -I /home/opam/.opam/4.12/lib/macaddr -I /home/opam/.opam/4.12/lib/menhirLib -I /home/opam/.opam/4.12/lib/ocaml-compiler-libs/common -I /home/opam/.opam/4.12/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/4.12/lib/ocaml-migrate-parsetree -I /home/opam/.opam/4.12/lib/ocaml/compiler-libs -I /home/opam/.opam/4.12/lib/ocaml/threads -I /home/opam/.opam/4.12/lib/ocamlgraph -I /home/opam/.opam/4.12/lib/open -I /home/opam/.opam/4.12/lib/parsexp -I /home/opam/.opam/4.12/lib/ppx_assert/runtime-lib -I /home/opam/.opam/4.12/lib/ppx_bench/runtime-lib -I /home/opam/.opam/4.12/lib/ppx_compare/runtime-lib -I /home/opam/.opam/4.12/lib/ppx_derivers -I /home/opam/.opam/4.12/lib/ppx_deriving/runtime -I /home/opam/.opam/4.12/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/4.12/lib/ppx_expect/collector -I /home/opam/.opam/4.12/lib/ppx_expect/common -I /home/opam/.opam/4.12/lib/ppx_expect/config -I /home/opam/.opam/4.12/lib/ppx_expect/config_types -I /home/opam/.opam/4.12/lib/ppx_hash/runtime-lib -I /home/opam/.opam/4.12/lib/ppx_here/runtime-lib -I /home/opam/.opam/4.12/lib/ppx_inline_test/config -I /home/opam/.opam/4.12/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/4.12/lib/ppx_module_timer/runtime -I /home/opam/.opam/4.12/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/4.12/lib/ppxlib -I /home/opam/.opam/4.12/lib/ppxlib/ast -I /home/opam/.opam/4.12/lib/ppxlib/print_diff -I /home/opam/.opam/4.12/lib/ppxlib/stdppx -I /home/opam/.opam/4.12/lib/ppxlib/traverse_builtins -I /home/opam/.opam/4.12/lib/result -I /home/opam/.opam/4.12/lib/sedlex -I /home/opam/.opam/4.12/lib/seq -I /home/opam/.opam/4.12/lib/sexplib -I /home/opam/.opam/4.12/lib/sexplib/unix -I /home/opam/.opam/4.12/lib/sexplib0 -I /home/opam/.opam/4.12/lib/spawn -I /home/opam/.opam/4.12/lib/splittable_random -I /home/opam/.opam/4.12/lib/stdio -I /home/opam/.opam/4.12/lib/stdlib-shims -I /home/opam/.opam/4.12/lib/tcpip -I /home/opam/.opam/4.12/lib/tcpip/unix -I /home/opam/.opam/4.12/lib/time_now -I /home/opam/.opam/4.12/lib/timezone -I /home/opam/.opam/4.12/lib/typerep -I /home/opam/.opam/4.12/lib/uchar -I /home/opam/.opam/4.12/lib/variantslib -I /home/opam/.opam/4.12/lib/yojson -I src/lib/kernel/.frenetic_kernel.objs/byte -I src/lib/netkat/.frenetic_netkat.objs/byte -no-alias-deps -open Frenetic_ppx -o src/syntax/.frenetic_ppx.objs/byte/frenetic_ppx__Ppx.cmo -c -impl src/syntax/ppx.pp.ml)
# File "src/syntax/ppx.ml", line 24, characters 18-46:
# 24 |   | Pexp_constant (Pconst_string (s, Some "")) ->
#                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
# Error: The constructor Pconst_string expects 3 argument(s),
#        but is applied here to 2 argument(s)
#     ocamlopt src/lib/netkat/.frenetic_netkat.objs/native/frenetic_netkat__Lexer.{cmx,o} (exit 2)
# (cd _build/default && /home/opam/.opam/4.12/bin/ocamlopt.opt -w -40 -safe-string -g -I src/lib/netkat/.frenetic_netkat.objs/byte -I src/lib/netkat/.frenetic_netkat.objs/native -I /home/opam/.opam/4.12/lib/astring -I /home/opam/.opam/4.12/lib/base -I /home/opam/.opam/4.12/lib/base/base_internalhash_types -I /home/opam/.opam/4.12/lib/base/caml -I /home/opam/.opam/4.12/lib/base/md5 -I /home/opam/.opam/4.12/lib/base/shadow_stdlib -I /home/opam/.opam/4.12/lib/base64 -I /home/opam/.opam/4.12/lib/base_bigstring -I /home/opam/.opam/4.12/lib/base_quickcheck -I /home/opam/.opam/4.12/lib/bigarray-compat -I /home/opam/.opam/4.12/lib/bin_prot -I /home/opam/.opam/4.12/lib/bin_prot/shape -I /home/opam/.opam/4.12/lib/biniou -I /home/opam/.opam/4.12/lib/bytes -I /home/opam/.opam/4.12/lib/core -I /home/opam/.opam/4.12/lib/core/error_checking_mutex -I /home/opam/.opam/4.12/lib/core_kernel -I /home/opam/.opam/4.12/lib/core_kernel/base_for_tests -I /home/opam/.opam/4.12/lib/core_kernel/caml_unix -I /home/opam/.opam/4.12/lib/core_kernel/flags -I /home/opam/.opam/4.12/lib/core_kernel/version_util -I /home/opam/.opam/4.12/lib/cstruct -I /home/opam/.opam/4.12/lib/cstruct-sexp -I /home/opam/.opam/4.12/lib/domain-name -I /home/opam/.opam/4.12/lib/easy-format -I /home/opam/.opam/4.12/lib/fieldslib -I /home/opam/.opam/4.12/lib/fmt -I /home/opam/.opam/4.12/lib/gen -I /home/opam/.opam/4.12/lib/ipaddr -I /home/opam/.opam/4.12/lib/jane-street-headers -I /home/opam/.opam/4.12/lib/macaddr -I /home/opam/.opam/4.12/lib/menhirLib -I /home/opam/.opam/4.12/lib/ocaml/compiler-libs -I /home/opam/.opam/4.12/lib/ocaml/threads -I /home/opam/.opam/4.12/lib/ocamlgraph -I /home/opam/.opam/4.12/lib/open -I /home/opam/.opam/4.12/lib/parsexp -I /home/opam/.opam/4.12/lib/ppx_assert/runtime-lib -I /home/opam/.opam/4.12/lib/ppx_bench/runtime-lib -I /home/opam/.opam/4.12/lib/ppx_compare/runtime-lib -I /home/opam/.opam/4.12/lib/ppx_deriving/runtime -I /home/opam/.opam/4.12/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/4.12/lib/ppx_expect/collector -I /home/opam/.opam/4.12/lib/ppx_expect/common -I /home/opam/.opam/4.12/lib/ppx_expect/config -I /home/opam/.opam/4.12/lib/ppx_expect/config_types -I /home/opam/.opam/4.12/lib/ppx_hash/runtime-lib -I /home/opam/.opam/4.12/lib/ppx_here/runtime-lib -I /home/opam/.opam/4.12/lib/ppx_inline_test/config -I /home/opam/.opam/4.12/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/4.12/lib/ppx_module_timer/runtime -I /home/opam/.opam/4.12/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/4.12/lib/result -I /home/opam/.opam/4.12/lib/sedlex -I /home/opam/.opam/4.12/lib/seq -I /home/opam/.opam/4.12/lib/sexplib -I /home/opam/.opam/4.12/lib/sexplib/unix -I /home/opam/.opam/4.12/lib/sexplib0 -I /home/opam/.opam/4.12/lib/spawn -I /home/opam/.opam/4.12/lib/splittable_random -I /home/opam/.opam/4.12/lib/stdio -I /home/opam/.opam/4.12/lib/stdlib-shims -I /home/opam/.opam/4.12/lib/tcpip -I /home/opam/.opam/4.12/lib/tcpip/unix -I /home/opam/.opam/4.12/lib/time_now -I /home/opam/.opam/4.12/lib/timezone -I /home/opam/.opam/4.12/lib/typerep -I /home/opam/.opam/4.12/lib/uchar -I /home/opam/.opam/4.12/lib/variantslib -I /home/opam/.opam/4.12/lib/yojson -I src/lib/kernel/.frenetic_kernel.objs/byte -I src/lib/kernel/.frenetic_kernel.objs/native -intf-suffix .ml -no-alias-deps -open Frenetic_netkat -o src/lib/netkat/.frenetic_netkat.objs/native/frenetic_netkat__Lexer.cmx -c -impl src/lib/netkat/Lexer.pp.ml)
# File "_none_", line 1:
# Error: Unbound value Sedlexing.__private__next_int
jnfoster

comment created time in a day

pull request commentocaml/opam-repository

Update some of zoggy's packages urls

Thanks @sagotch

sagotch

comment created time in a day

push eventocaml/opam-repository

Julien Sagot

commit sha 7899734e76ac10cc7ed54938c6e0f5ebe72add08

Update chamo package urls

view details

Julien Sagot

commit sha e8cc3121b6bf56cc3db77db749fdba0ee4d8b3be

Update packages/chamo/chamo.2.01/opam Co-authored-by: Marcello Seri <mseri@users.noreply.github.com>

view details

Marcello Seri

commit sha 2f9c2c6e33ce0f41d88ee82db8b36645fc949a42

Apply suggestions from code review

view details

Marcello Seri

commit sha daf3c054c6fff181478ab1b8fcae4e87b18aca2d

Update opam

view details

Marcello Seri

commit sha 2aac584bcbeff85114dfcbe9a145446e82686526

Apply suggestions from code review

view details

Marcello Seri

commit sha d5bb16ba162079014c61d322b930f84c1938f299

Apply suggestions from code review

view details

Marcello Seri

commit sha b91a0c7f6070fd67449bc74bbbaaef7435d300a7

Merge pull request #19394 from sagotch/master Update some of zoggy's packages urls

view details

push time in a day

PR merged ocaml/opam-repository

Update some of zoggy's packages urls consider for merge
+17 -8

5 comments

3 changed files

sagotch

pr closed time in a day

push eventsagotch/opam-repository

Marcello Seri

commit sha d5bb16ba162079014c61d322b930f84c1938f299

Apply suggestions from code review

view details

push time in a day

Pull request review commentocaml/opam-repository

Update some of zoggy's packages urls

 opam-version: "2.0" maintainer: "zoggy@bat8.org" authors: ["Maxence Guesdon"]-homepage: "http://zoggy.github.io/chamo/"+homepage: "https://zoggy.frama.io/chamo/" license: "LGPL-3.0-only"-doc: ["http://zoggy.github.io/chamo/doc.html"]+doc: "https://zoggy.frama.io/chamo/"+dev-repo: "https://framagit.org/zoggy/chamo.git"
dev-repo: "git+https://framagit.org/zoggy/chamo.git"
sagotch

comment created time in a day

PullRequestReviewEvent

Pull request review commentocaml/opam-repository

Update some of zoggy's packages urls

 depends: [ install: [make "install-lib"] synopsis:   "A source code editor, even if it can be used to edit any text file."+homepage: "https://zoggy.frama.io/chamo/"+license: "LGPL-3.0-only"+doc: "https://zoggy.frama.io/chamo/"+dev-repo: "https://framagit.org/zoggy/chamo.git"
dev-repo: "git+https://framagit.org/zoggy/chamo.git"
sagotch

comment created time in a day

PullRequestReviewEvent

Pull request review commentocaml/opam-repository

Update some of zoggy's packages urls

 depends: [ install: [make "install"] synopsis:   "A source code editor, even if it can be used to edit any text file."+homepage: "https://zoggy.frama.io/chamo/"+license: "LGPL-3.0-only"+doc: "https://zoggy.frama.io/chamo/"+dev-repo: "https://framagit.org/zoggy/chamo.git"
dev-repo: "git+https://framagit.org/zoggy/chamo.git"
sagotch

comment created time in a day

PullRequestReviewEvent