Index of /by-release/changes-files/ubuntu/c/coq-elpi

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-elpi_1.11.2-1_source.changes.bz22021-12-18 02:35 780  
[ ]coq-elpi_1.11.2-2_source.changes.bz22022-01-17 21:43 700  
[ ]coq-elpi_1.13.0-1_source.changes.bz22022-03-02 19:40 858  
[ ]coq-elpi_1.13.0-7build1_source.changes.bz22022-05-12 09:38 919  
[ ]coq-elpi_1.14.0-1_source.changes.bz22022-05-15 15:39 903  
[ ]coq-elpi_1.14.0-2_source.changes.bz22022-05-22 05:06 693  
[ ]coq-elpi_1.14.0-3_source.changes.bz22022-06-03 20:37 690  
[ ]coq-elpi_1.14.0-5_source.changes.bz22022-06-14 22:06 706  
[ ]coq-elpi_1.14.0-5build1_source.changes.bz22022-08-22 15:08 699  
[ ]coq-elpi_1.16.0-1build2_source.changes.bz22022-12-07 04:37 875  
[ ]coq-elpi_1.16.0-2_source.changes.bz22023-01-30 02:36 636  
[ ]coq-elpi_1.16.0-2build1_source.changes.bz22023-02-28 18:40 653  
[ ]coq-elpi_1.17.1-1_source.changes.bz22023-06-25 19:10 803  
[ ]coq-elpi_1.17.1-1build1_source.changes.bz22023-07-13 05:06 649  
[ ]coq-elpi_1.17.1-1build2_source.changes.bz22023-07-20 09:08 646  
[ ]coq-elpi_1.17.1-1build6_source.changes.bz22023-07-31 09:38 695  
[ ]coq-elpi_1.17.1-1build7_source.changes.bz22023-08-26 18:01 649  
[ ]coq-elpi_1.17.1-1build8_source.changes.bz22023-08-30 12:06 657  
[ ]coq-elpi_1.17.1-1build10_source.changes.bz22023-11-25 09:37 689  
[ ]coq-elpi_1.19.3-2_source.changes.bz22024-01-30 05:06 753  
[ ]coq-elpi_1.19.3-2build1_source.changes.bz22024-02-24 02:15 653  
[ ]coq-elpi_1.19.3-2build2_source.changes.bz22024-03-29 09:18 691  
[ ]coq-elpi_1.19.3-2build4_source.changes.bz22024-04-10 11:06 731  
[ ]coq-elpi_2.1.0-1build1_source.changes.bz22024-05-21 03:36 756  
[ ]coq-elpi_2.1.0-1build2_source.changes.bz22024-06-06 21:49 651  
[ ]coq-elpi_2.1.0-1build3_source.changes.bz22024-06-17 23:36 653  
[ ]coq-elpi_2.1.0-1build4_source.changes.bz22024-08-06 02:36 646  
[ ]coq-elpi_2.1.0-1build7_source.changes.bz22024-09-12 12:54 682  
[ ]coq-elpi_2.1.0-1build9_source.changes.bz22024-09-20 20:35 675  
[ ]coq-elpi_2.2.3-1build1_source.changes.bz22024-11-27 08:36 684  
[ ]coq-elpi_2.3.0-1_source.changes.bz22024-12-21 15:37 760  
[ ]coq-elpi_2.4.0-1build1_source.changes.bz22025-02-21 23:45 679  
[ ]coq-elpi_2.5.0-1.1_source.changes2025-07-03 01:52 1.1K 
[ ]coq-elpi_2.5.0-1.1build1_source.changes2025-09-04 00:36 1.0K 
[ ]coq-elpi_2.5.0-1ubuntu1_source.changes2025-05-30 16:08 1.1K 
Apache/2.4.29 (Ubuntu) Server at patches.ubuntu.com Port 443