ocaml/ocaml-coq
SHA256
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
37 Commits 1 Branch 0 Tags
main
Commit Graph

37 Commits

This Branch
This Branch
All Branches
Author SHA256 Message Date
Olaf Hering
5de20b9f0e - Initial version 9.0.0 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=37
 2025-04-04 05:45:38 +00:00
Olaf Hering
5575d16a30 - Initial version 8.20.1 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=36
 2025-03-03 08:24:16 +00:00
Olaf Hering
ef54919b2c - Initial version 8.19.1 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=35
 2024-03-04 14:14:36 +00:00
Olaf Hering
f8811dcce5 - Initial version 8.19.0 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=34
 2024-02-02 14:23:08 +00:00
Olaf Hering
52f6b06766 - Initial version 8.18.0 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=33
 2023-09-08 13:39:28 +00:00
Olaf Hering
7b6e4710d8 - Initial version 8.17.1 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=32
 2023-06-28 21:59:24 +00:00
Olaf Hering
25d2847661 - Initial version 8.17.0 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=31
 2023-05-05 07:28:30 +00:00
Olaf Hering
4ab155c9e6 - Initial version 8.16.1 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=30
 2023-01-02 14:45:25 +00:00
Olaf Hering
4c78eb21d4 - Initial version 8.15.2 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=29
 2022-06-14 09:49:19 +00:00
Olaf Hering
0ee312dc3f - Initial version 8.15.1 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=28
 2022-04-04 15:14:44 +00:00
Olaf Hering
dfcc348d70 remove braces from rpmspec macros 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=27
 2022-04-04 15:13:16 +00:00
Olaf Hering
37e2445e03 - Initial version 8.15.0 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=26
 2022-01-14 08:48:04 +00:00
Olaf Hering
3ab99f2801 - Initial version 8.14.1 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=25
 2021-12-09 16:21:42 +00:00
Olaf Hering
53018e3a5c restore -libdir ocaml_where/coq 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=24
 2021-10-27 07:26:27 +00:00
Olaf Hering
30ce04d878 _constraints 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=23
 2021-10-14 15:20:40 +00:00
Olaf Hering
1f3cd3c64a - Initial version 8.14.0 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=22
 2021-10-14 14:52:02 +00:00
Olaf Hering
e216595ab0 - Initial version 8.13.2 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=21
 2021-04-07 16:35:04 +00:00
Olaf Hering
e56e40d0da pass paths to configure.ml, with ocaml-coq.patch 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=20
 2021-03-26 21:45:13 +00:00
Olaf Hering
b4a51d33e3 - Initial version 8.13.1 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=19
 2021-02-26 14:13:02 +00:00
Olaf Hering
c4c3cf5e2e newer ocaml-rpm-macros 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=18
 2021-02-09 09:53:52 +00:00
Olaf Hering
168521e519 package more *.vo files 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=17
 2021-02-09 08:55:42 +00:00
Olaf Hering
eb2c74a0a4 package more *.vo files 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=16
 2021-02-09 08:45:36 +00:00
Olaf Hering
67235c52d0 package *.vo files 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=15
 2021-02-09 07:46:19 +00:00
Olaf Hering
b0c2d25341 dune 2.5+ 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=14
 2021-01-18 17:08:49 +00:00
Olaf Hering
2125cbd00f - Initial version 8.13.0 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=13
 2021-01-15 09:49:45 +00:00
Olaf Hering
cb23abfef4 - Initial version 8.12.2 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=12
 2021-01-14 14:47:04 +00:00
Olaf Hering
bc718dacf3 - Initial version 8.12.0 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=11
 2020-08-21 17:16:13 +00:00
Olaf Hering
d6991ebea5 - Initial version 8.11.1 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=10
 2020-04-08 16:54:32 +00:00
Olaf Hering
b3c2dfcccc 64b7153a8d48ed5761042b582614ccfa925526d9 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=9
 2020-04-02 08:01:23 +00:00
Olaf Hering
b7850c7abf fix required 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=8
 2020-03-19 06:43:36 +00:00
Olaf Hering
77258d282b 4af1f7ec60b442ef815c056ce95519cfe1621ca3.patch 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=7
 2020-03-09 09:29:32 +00:00
Olaf Hering
1098d3a169 8802c42998fe94dcd4c4c1b6fedbb3865427a49c 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=6
 2020-03-09 09:08:11 +00:00
Olaf Hering
83380895f1 ocaml_standard_library 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=5
 2020-02-25 06:46:26 +00:00
Olaf Hering
f3ad225f34 dcfa1fd054..b7c4ca96e5 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=4
 2020-01-30 07:27:15 +00:00
Olaf Hering
52b64748e1 66c7622ba8..dcfa1fd054 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=3
 2020-01-02 13:08:12 +00:00
Olaf Hering
a9390ec3f6 remove Unix.time usage from configure, #11037 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=2
 2019-11-04 10:48:42 +00:00
Olaf Hering
49dcc507cd - Initial version 8.11 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-coq?expand=0&rev=1
 2019-11-03 19:11:27 +00:00