是否有允许扭曲视频时间线的软件（最好是命令行）？
例如，我有一个 60 秒的 source.mkv。我还有一个包含对应点列表的文本文件，其中每一对都是源点和目标点：
00:05 --> 00:07
00:07 --> 00:08
00:10 --> 00:10
...
00:40 --> 00:50
01:00 --> 01:00
所以部分 [00:00-00:05] 将被拉伸并成为destination.mkv中的[00:00-00:07]；[00:05-00:07] 将变为 [00:07-00:08] 等。
我知道有这样的音频（橡皮筋）和视频软件？